An approach to safety verification of object-oriented design specification for an elevator control system.
Eun Mi KimShinji KusumotoTatsuhiro TsuchiyaTohru KikunoPublished in: WORDS (1997)
Keyphrases
- object oriented design
- control system
- formal specification
- safety analysis
- model checking
- formal methods
- concurrent systems
- protocol specification
- safety critical
- specification language
- formal verification
- fuzzy logic
- temporal logic
- closed loop
- control software
- control scheme
- control center
- real time
- software design
- pid controller
- fuzzy control
- control strategy
- control algorithm
- object oriented systems
- fuzzy controller
- object oriented
- control method
- reverse engineering
- asynchronous circuits
- control law
- business rules
- nuclear power plant
- software engineering
- high level
- neural network
- databases