Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Model checking
A Two-Aspect Approach for a Clearer Behavior Model
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Engineers are now facing difficult problems in developing ever more sophisticated real-time systems with reduced time-to-market constraints. Object-oriented modeling with UML provides useful answers to these challenges. However, UML specification of real-time features and implementation techniques for real-time applications still require improvement. The ACCORD/UML methodology outlined in this paper therefore proposes UML extensions for modeling real-time complex systems with a high level of abstraction, followed by a basic technology for prototyping and a set of validation methods. ACCORD/UML is fully in line with the MDA paradigms proposed by the OMG. It focuses on system real-time constraints specification and ensures automatic developing phases to guarantee safe construction and application correctness. Throughout this paper, an automotive case study, based on a car seat adjustment system, is used to illustrate the ins and outs of ACCORD/UML methodology.