Shourong Lu

Learn More
A component-based UML profile is built to develop embedded real-time systems. To specify the specific characteristics of embedded systems, the model driven architecture (MDA) approach and component-based modeling are employed. Component-based UML models are designed as Platform Independent Models (PIM) to be translated to platform specific models (PSM) for(More)
The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification~PEARL, which has its origins in standard Multiprocessor~PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional(More)
Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component(More)
A fault-tolerance framework to be used in the process of designing and developing computerised control systems is presented, which is based on well-proven fault-tolerance techniques and FT-CORBA. Extensions of the Unified Modeling Language (UML) are employed to describe this framework, the mechanism contained, and system architectures making use of it. Use(More)