Proposal of System Testing Integration into Safety Critical System Design Process Supported by SysML.
Lukás SpendlaLukas HrckaPublished in: EMS (2014)
Keyphrases
- design process
- safety critical
- safety analysis
- formal methods
- concurrent engineering
- fault model
- nuclear power plant
- conceptual design
- design decisions
- engineering design
- life cycle
- fault tolerant
- case study
- embedded systems
- agent architecture
- control system
- support systems
- product development process
- database design
- product design
- inclusive design
- development process
- user interface
- real time
- knowledge based systems
- symbolic model checking
- formal specification
- software engineering
- design requirements
- design processes
- machine learning
- modeling language
- adaptive systems
- cooperative
- computational intelligence
- learning environment
- detailed design
- artificial intelligence
- creative design
- load balancing
- model checking