Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML.
Carl-Johan SjöstedtDe-Jiu ChenPhilippe CuenotPatrick FreyRolf JohanssonHenrik LönnDavid ServatMartin TörngrenPublished in: EOOLT (2007)
Keyphrases
- embedded systems
- safety critical
- safety analysis
- formal methods
- low cost
- real time systems
- computing power
- processing power
- resource limited
- embedded software
- embedded devices
- hardware software
- real time image processing
- software systems
- embedded real time systems
- nuclear power plant
- consumer electronics
- field programmable gate array
- fault tolerant
- computer systems
- database systems
- support systems
- hw sw
- object oriented
- wireless sensor networks