Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.
Lisa WellsThomas MaierPublished in: ICATPN (2005)
Keyphrases
- coloured petri nets
- safety critical
- software systems
- software development
- real time systems
- formal verification
- source code
- requirements engineering
- computer systems
- software architecture
- functional requirements
- software tools
- software maintenance
- software design
- real time
- user interface
- formal methods
- software developers
- low frequency
- development process
- neural network
- low voltage
- safety analysis
- commercial off the shelf
- requirements specification
- written in natural language
- databases