Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software.
Tibor FarkasDaniel GrundPublished in: ISADS (2007)
Keyphrases
- safety critical
- embedded systems
- formal methods
- safety analysis
- nuclear power plant
- support systems
- fault tolerant
- agent architecture
- low cost
- adaptive systems
- regulatory requirements
- artificial intelligence
- software systems
- software engineering
- knowledge based systems
- software intensive systems
- medical images
- case study
- e learning
- information systems