A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.
Andreas BaumgartPhilipp ReinkemeierAchim RettbergIngo StierandEike ThadenRaphael WeberPublished in: SEUS (2010)
Keyphrases
- input output
- development process
- design methodology
- safety critical
- fuzzy neural network
- design process
- formal methods
- software engineering
- embedded systems
- case study
- safety analysis
- support systems
- neural network
- expert systems
- building blocks
- software development
- physical design
- metamodel
- agent architecture
- management system
- decision support system
- artificial neural networks
- formal specification
- fault tolerant
- object oriented
- computational intelligence
- systems development
- distributed systems
- decision making
- learning systems