Learn More
An executable specication language, known as PSP, for fast prototyping parallel responsive systems is introduced. The language is equipped with directly exe-cutable mathematical data objects, rst order predicates, temporal operators, parallel assignment, state and state history, sets, maps and sequences, etc. An abstract system model of a parallel(More)
In this report a formal framework for the development of hybrid and safety critical systems is introduced. The framework consists of a Cycle calculus, a computational model of reactive systems, and a procedure to develop the top level specification of a safety critical system. The Cycle Calculus incorporates both discrete and continuous time modes,(More)
  • 1