Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties.
James H. HillAniruddha S. GokhalePublished in: IPDPS (2008)
Keyphrases
- embedded systems
- model driven
- real time
- real time systems
- low cost
- resource limited
- real time embedded
- quality of service
- data driven
- embedded devices
- safety critical
- software systems
- service oriented
- metamodel
- computing power
- formal methods
- embedded software
- smart camera
- model driven development
- cyber physical systems
- distributed systems
- embedded real time systems
- cooperative
- data integration
- service oriented architecture
- web services
- model checking
- hw sw
- protocol stack
- multi agent
- hardware software
- platform independent
- database
- field programmable gate array
- databases
- lightweight
- knowledge management
- software engineering
- high level