Arrays and Contracts for the Specification and Analysis of Regular Systems

We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global specifications of components. We describe a toolbox of automatic program manipulations able to exploit the regular structures and the contracts in order to help validating the system.

• Type: Conference
• Year: 2004
• Where: ACSD
• Authors: Florence Maraninchi, Lionel Morel
• Keywords: ACSD 2004, Automatic Program Manipulations, Hardware, Regular Systems, Structuring Mechanism