Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components.
Michael GunzertAndreas NägelePublished in: PDSE (1999)
Keyphrases
- software components
- component based development
- safety critical
- formal methods
- formal specification
- safety analysis
- software systems
- software reuse
- software development
- software quality
- embedded systems
- fault tolerant
- software engineering
- building blocks
- component based architecture
- reusable components
- web services
- commercial off the shelf
- knowledge based systems
- model checking
- real time
- agent architecture
- databases
- object oriented
- life cycle
- artificial intelligence
- case study
- support systems
- software design
- user interface
- conceptual modeling
- software projects
- software artifacts
- machine learning
- low cost
- distributed systems
- raw data
- database