Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.
João M. FernandesJens Bæk JørgensenSimon TjellPublished in: APSEC (2007)
Keyphrases
- requirements engineering
- reactive systems
- coloured petri nets
- control system
- model checking
- formal verification
- elevator group control
- software engineering
- goal oriented
- temporal logic
- life cycle
- information flow
- control method
- requirements specification
- software development
- petri net
- formal methods
- requirements elicitation
- development process
- control strategy
- real time
- requirements engineering process
- systems development
- control flow
- software intensive systems
- case study
- real time systems
- literature review
- business process
- query language
- information systems
- security requirements
- database
- artificial intelligence
- machine learning