Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.
Kohei SakuraiPéter BokorNeeraj SuriPublished in: HASE (2008)
Keyphrases
- formal methods
- safety critical
- formal specification
- model checking
- safety analysis
- process algebra
- modular design
- nuclear power plant
- specification language
- formal specification language
- concurrent systems
- knowledge based systems
- fault tolerant
- reverse engineering
- software engineering
- artificial intelligence
- embedded systems
- distributed systems
- support systems
- real time
- temporal logic
- data warehouse
- expert systems
- case study