QoS-oriented design of embedded systems with specification PEARL |
| |
Authors: | Roman Gumzej Wolfgang A Halang |
| |
Affiliation: | 1. Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000, Maribor, Slovenia 2. Department of Computer Engineering, Fernuniversit?t, 58084, Hagen, Germany
|
| |
Abstract: | Only recently have methodical tools adequate to design real-time systems been formally introduced in design methodologies.
Naturally, they were present from the beginning, but due to the large diversity of embedded systems’ areas of deployment,
specially dedicated formalisms have been developed and used. High-level language programming and integration of modeling formalisms
into design methods eased the development of more complex real-time applications. With the emerging object-oriented programming
languages and design methods, their integration into larger information systems has become more transparent. It was the UML
methodology, however, which eventually merged also the design methods and concepts of real-time systems into a consistent
whole. It took a large consortium and a long process to persuade industry of the benefits the new integral methodology can
offer. On the other hand, there are some trade-offs, and there are some features not completely covered, yet. Here, a different,
more straightforward approach to program and design (embedded) real-time systems is presented. Since it emerged from the real-time
community, it includes most features relevant there. Independent of the UML profile for schedulability, performance and time
specification, a profile was devised for use in PEARL-oriented UML design. The strengths of the mentioned language and design
methods for QoS-oriented design of (embedded) real-time systems are emphasised throughout this article. |
| |
Keywords: | Real-time systems Embedded systems Quality-of-Service Co-design Co-simulation Safety Dependability Security Timeliness Determinism Readiness Reliability Portability Flexibility Specification PEARL UML profiles and patterns |
本文献已被 SpringerLink 等数据库收录! |
|