An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.
Julien DelangeLaurent PautetJérôme HuguesDionisio de NizPublished in: ICECCS (2010)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- support systems
- nuclear power plant
- design process
- agent architecture
- case study
- knowledge based systems
- adaptive systems
- learning systems
- ambient intelligence
- model checking
- information systems
- user interface
- software intensive systems
- decision making