Safety Verification Method for Priority-Based Real-Time Software.
Fumio NarisawaYoshikazu UedaPublished in: SoMeT (2017)
Keyphrases
- verification method
- real time
- safety critical
- model checking
- real time systems
- control center
- software development
- temporal logic
- control system
- software package
- user interface
- software systems
- quality of service
- dedicated hardware
- software maintenance
- intelligent vehicles
- database
- high speed
- safety analysis
- nuclear power plant
- information systems
- software platform
- software packages
- software tools
- embedded systems
- open source
- test cases
- computer systems