Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
| Autor: | Florescu, O., Voeten, J.P.M., Corporaal, H., Vachoux, Alain |
|---|---|
| Přispěvatelé: | Electronic Systems |
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | Applications of Specification and Design Languages for SoCs ISBN: 9781402049972 Applications of Specification and Design Languages for SoCs., 247-262 STARTPAGE=247;ENDPAGE=262;TITLE=Applications of Specification and Design Languages for SoCs. |
| DOI: | 10.1007/978-1-4020-4998-9_14 |
| Popis: | In the Software/Hardware Engineering model-driven design methodology, the preservation of real-time system properties can be guaranteed up to a small time-deviation in the model synthesis. Therefore, this methodology is well suited for the design of control-systems in which execution times of actions are small; thus the time-deviations obtained are small. However, in systems containing time-intensive computations, the time-deviations become large and, consequently, the real-time properties are much weakened. This paper gives an initial idea for obtaining stronger property-preservation by abstracting from the internal actions of a system and counting only the observable actions for the time-deviation. In this way, a unified way of analysis and synthesis of a larger area of real-time applications can be obtained, which would allow designers to reason about different properties of systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|