Ercument Canver

Learn More
This paper describes our experience using coordinated atomic (CA) actions as a system structuring tool to design and validate a sophisticated control system for a complex industrial application that has high reliability and safety requirements. Our study is based on an extended production cell model, the specification and simulator for which were defined(More)
This paper presents TLO, an approach to the formal development of object-based systems in a temporal logic framework. The behavior of an object-based system is viewed as derivable from the behaviors of its constituent component objects. Temporal logic is a formalism well suited for specifying behavior of concurrent systems; it also provides conceptually(More)
This paper presents an approach to speciication, reenement and veriication of object-based systems in a temporal logic framework. The behaviour of an object-based system is viewed as derivable from the behaviours of its constituent component objects. Temporal logic is a formalism well suited for specifying behaviour of concurrent systems; it also provides(More)
The potential dangers from a malfunctioning of information processing systems range from simple loss of data to loss of life. This led many states come up with (hierarchies of) criteria to evaluate the trustworthiness of software systems. The Veriication Support Environment (VSE) was designed to satisses the requirements of the higher levels of such(More)
  • 1