Formally Ensuring Time Constraints in a Development Process

  title={Formally Ensuring Time Constraints in a Development Process},
  author={Cea and Guy. Vidal-Naquet},
  • Cea, Guy. Vidal-Naquet
  • Published 2011
This paper presents a method for the development of systems composed of communicating components that satisfy time constraints, by stepwise refinement. The main result is the formal proof of correctness of a refinement with time constraints. The method is illustrated by some examples. It is issued from studies on real-time embedded systems, but should apply to the specification of other execution-related metrics and is compatible with other development methods which focus on different criteria. 
1 Extracted Citations
18 Extracted References
Similar Papers

Similar Papers

Loading similar papers…