Liability for software in safety-critical mechatronic systems: An industrial questionnaire.
Holger M. KienleDaniel SundmarkKristina LundqvistAndreas JohnsenPublished in: SEES@ICSE (2012)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- support systems
- software intensive systems
- regulatory requirements
- adaptive systems
- software components
- decision making
- monitoring system
- software systems
- intelligent agents
- source code
- low cost
- object oriented
- management system
- user interface