Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.
Mehrdad SabetzadehShiva NejatiLionel C. BriandAnne-Heidi Evensen MillsPublished in: HASE (2011)
Keyphrases
- safety critical
- safety analysis
- formal methods
- embedded systems
- nuclear power plant
- modeling language
- software intensive systems
- fault tolerant
- real time
- agent architecture
- low cost
- artificial intelligence
- support systems
- user interface
- knowledge based systems
- software engineering
- regulatory requirements
- case study
- software development
- software systems
- formal specification
- model checking
- control system
- symbolic model checking
- decision making
- knowledge acquisition
- user modeling
- adaptive systems
- clinical guidelines
- reliability analysis
- software components
- monitoring system