Consistent design of embedded real-time systems with UML-RT

Küster, Jochen M.; Stroop, Joachim

doi:10.1109/isorc.2001.922815

Cited by 19 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Despite its real time capabilities [3], [4], [5], [9], [24] UML has some limitations as well, because it lacks support for some aspects important to real-time systems, e.g. modeling of timing constraints, signals and independent components [13], [14].…”

Section: Related Workmentioning

confidence: 99%

Comparative analysis of real time resource access control protocols using UML 2.0

Hazra

Dey

Kanjilal³

et al. 2013

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

The behaviors of real time software systems do not depend only on the values of input and output signals, but also on the times of their occurrences. Real time systems (RTS) interact with their environments using time constrained input/output signals. The complexity of Real Time Systems is continually increasing which makes their design very challenging. In RTS, the scheduling of tasks with hard deadlines has been an important area of research. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. The main objective of this paper is to compare two protocols using UML 2.0 models. The shortcomings of the existing Priority Inheritance protocol are represented using one UML model. Further, the Stack Based Priority Ceiling protocol is used to overcome this difficulty using an improved model.

show abstract

Section: Related Workmentioning

confidence: 99%

Comparative analysis of real time resource access control protocols using UML 2.0

Hazra

Dey

Kanjilal³

et al. 2013

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

show abstract

“…Several approaches aim towards a formalization of the UML to avoid disaccords between developers and to provide better consistency between the different representation styles of UML [6,3,7]. The different approaches can be initially distinguished by the elements of the UML standard they are examining.…”

Section: Related Workmentioning

confidence: 99%

Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design

Viehl

Schonwald

Bringmann

2006

Proceedings of the Design Automation &Amp; Test in Europe Conference

View full text Add to dashboard Cite

UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative performance analysis is not adequately taken into account in early design stages of the system. In this paper, we present our approach for formal and simulation based performance analysis of systems specified with UML2/SysML. The basis of our analysis approach is the detection of communication that synchronize the control flow of the corresponding instances of the system and make the relationship explicit. Using this knowledge, we are able to determine a global timing behavior and violations of this effected by preset constraints. Hence, it is also possible to detect potential conflicts on shared communication resources if a specification of the target architecture is given. With these information it is possible to evaluate system models at an early design stage.

show abstract

“…However, these UML-RT extensions do not guarantee that consistency and timing requirements are met when a new component is integrated into an embedded real-time application. In addition, no kind of scheduling is represented in UML tools (Kuster & Stroop, 2001 …”

Section: Software Engineeringmentioning

confidence: 99%