Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.
Jon PérezCarlos Fernando NicolásRoman ObermaisserChristian El SalloumPublished in: FDL (2010)
Keyphrases
- embedded systems
- safety critical
- hardware software
- low cost
- safety analysis
- embedded real time systems
- fault tolerant
- software systems
- embedded software
- real time
- protocol stack
- formal methods
- artificial intelligence
- cyber physical systems
- field programmable gate array
- support systems
- management system
- user modeling
- agent architecture
- software architecture
- health care
- user interface