首页 | 官方网站   微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号