Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
Kawtar Benghazi AkhlakiManuel I. Capel TuñónJuan Antonio Holgado TerrizaPublished in: ICEIS (3) (2006)
Keyphrases
- real time systems
- embedded real time systems
- formal methods
- reactive systems
- metamodel
- process algebra
- uml models
- real time embedded
- formal specification
- embedded systems
- architectural model
- real time
- design process
- modeling language
- software architecture
- petri net
- conceptual models
- development process
- distributed systems
- sequence diagrams
- case study
- artificial intelligence
- class diagram
- model driven
- asynchronous circuits
- highly reliable
- transformation rules
- life cycle
- machine learning