Patterns for Representing FMEA in Formal Specification of Control Systems.
Ilya LopatkinAlexei IliasovAlexander B. RomanovskyYuliya ProkhorovaElena TroubitsynaPublished in: HASE (2011)
Keyphrases
- formal specification
- model checking
- specification languages
- control system
- object oriented design
- process algebra
- specification language
- data abstraction
- concurrent systems
- reverse engineering
- formal methods
- design patterns
- model checker
- safety analysis
- database
- software components
- fine grained
- fuzzy logic
- association rules
- web services
- real time