The Design of Embedded Real-Time Systems using the SEA Environment (1998) [6 citations — 3 self]
Abstract:
Abstract. In this paper we describe a methodology and accompanied tool support for the design of complex embedded real-time systems. In many application domains such real-time systems also appear to be heterogenous, i.e. made up of different parts, each following various behavioral characteristics. To consider not only behavioral aspects during system design but also functional requirements, especially real-time constraints, a single common model appears to be beneficial. For this, we propose extended Predicate/Transition Nets (Pr/T--Nets), that have been enlarged so that complete models of complex embedded real-time systems, including continuous, discrete and interface parts, can be captured. This modeling paradigm leads to a design methodology consisting of three phases: specification and modeling, simulation and analysis and finally synthesis. We describe this methodology and its supporting tools along the design of a series hybrid drive for vehicles. 1
Citations
| 1713 | Statecharts: A visual formalism for complex systems – Harel - 1987 |
| 133 | System Modelling with High-Level Petri Nets – Genrich, Lautenbach - 1981 |
| 18 | The SEA Language for System Engineering and Animation – Kleinjohann, Kleinjohann, et al. - 1996 |
| 15 | Structured nets – Cherkasova, Kotov - 1981 |
| 13 | Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets – Kleinjohann, Tacken, et al. - 1997 |
| 7 | Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks – Altenbernd - 1996 |
| 3 | Simulation of Hybrid Mechatronic Systems: a Case Study – Brielmann, Honekamp, et al. - 1997 |
| 3 | Vergleichende Untersuchungen von State-Charts und strukturierten Petri-Netzen – Suffrian - 1990 |
