No abstract available.
Models, software models and UML
The use of models in the design of complex engineering systems is a long-standing tradition that is almost as old as engineering. Yet, its applicability to software has often been questioned. In this chapter, we explain why modeling and model-based ...
UML for real-time: which native concepts to use?
Engineers are increasingly facing the hard problem of developing more sophisticated real-time systems while time to market and cost constraints are constantly growing. The necessity of adopting object oriented modeling in the real-time domain appears to ...
Structural modeling with UML 2.0: classes, interactions and state machines
This chapter will provide an overview of the structuring concepts that are proposed for the coming UML 2.0. This will be done through an example. We will illustrate that these concepts are designed such that structuring applied to classes may be ...
Message sequence charts
Message sequence charts (MSCs) constitute an attractive visual formalism that is widely used to capture system requirements during the early design stages in domains such as telecommunication software. A version of MSCs called sequence diagrams is one ...
UML and platform-based design
This chapter presents a specification technique based on UML for the design of embedded systems and platforms. It covers stereotypes and extended notations to represent platform services and their attributes in embedded software development. It also ...
UML for hardware and software object modeling
This chapter discusses the HASoC (Hardware and Software Objects on Chip) approach to the development of embedded systems. HASoC is an object-oriented method, which is based on an iterative, incremental lifecycle. The design process, which uses UML ...
Fine grained patterns for real-time systems
A design pattern is a generalized approach or solution to a commonly occurring problem. Design patterns are a way of capturing and codifying design expertise in the forms of solutions that have proven effective in solving specific kinds of problems in a ...
Architectural patterns for real-time systems
Design patterns capture proven solutions, which, if applied intelligently, can result in significant benefits in terms of productivity and reliability. Architectural patterns are patterns that are useful for defining architectures. In this chapter, we ...
Modeling quality of service with UML: how quantity changes quality
The quality of service of software is usually expressed as a quantitative measure and, in case of real-time systems, it may be as important as logical correctness. Therefore, for software models of such systems it is of critical importance to be able to ...
Modeling metric time
Following a short discussion on the essence of time and on the applicability of dense time for modeling software, the paper focuses on the time model that has been suggested for the UML profile for Schedulability, Performance, and Time. It is suggested ...
Performance analysis with UML: layered queueing models from the performance profile
The performance of a software design specified in UML is analyzed to estimate the delays, throughputs and resource utilizations, and such measures as the probability of missing a target response time. A case study that defines scenarios for the ...
Schedulability analysis with UML
The growing complexity of real-time software is generating an increasing demand for (specialized) UML as a modeling language for real-time systems. Verification of non-functional properties is key in hard real-time systems, which are required to perform ...
Automotive UML: a (meta) model-based approach for systems development
In this chapter a recent approach is described which utilizes the Unified Modeling Language (UML) within the automotive specific systems development. In particular it presents the Automotive Modeling Language (AML), a modeling language tailored to the ...
Specifying telecommunications systems with UML
The ITU service description methodology is widely used to specify the services of telecommunication systems and the equipment providing these services. Separate languages, such as SDL, MSC, or ASN. 1 have traditionally been used to express ...
Leveraging UML to deliver correct telecom applications
Stringent reliability demanded of telecommunications systems requires that the absence of defects be ascertained as extensively as possible. In this chapter, we present techniques we have developed to verify specifications expressed in sequence diagrams:...
Software performance engineering
Performance is critical to the success of today's software systems. However, many software products fail to meet their performance objectives when they are initially constructed. Fixing these problems is costly and causes schedule delays, cost overruns, ...
Cited By
- Herrera F, Peñil P and Villar E A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, (88-91)
- Ali S, Yue T, Briand L and Walawege S A product line modeling and configuration methodology to support model-based testing Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (726-742)
- Peñil P, Posadas H, Nicolás A and Villar E Automatic synthesis from UML/MARTE models using channel semantics Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, (49-54)
- Iyenghar P, Westerkamp C, Wuebbelmann J and Pulvermueller E A model based approach for debugging embedded systems in real-time Proceedings of the tenth ACM international conference on Embedded software, (69-78)
- Roychoudhury A (2009). Embedded Systems and Software Validation, 10.5555/1717199, Online publication date: 12-Jun-2009.
- Forward A and Lethbridge T Problems and opportunities for model-centric versus code-centric software development Proceedings of the 2008 international workshop on Models in software engineering, (27-32)
- Sauer C, Gries M and Löb H SystemClick Proceedings of the 45th annual Design Automation Conference, (480-485)
- Riccobene E, Scandurra P, Rosti A and Bocchio S A model-driven design environment for embedded systems Proceedings of the 43rd annual Design Automation Conference, (915-918)
- Mueller W, Rosti A, Bocchio S, Riccobene E, Scandurra P, Dehaene W and Vanderperren Y UML for ESL design Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, (73-80)
- He X, Zhu Y, Sun Z and Fu Y UML based evaluation of reconfigurable shape adaptive DCT for embedded stream processing Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing, (898-907)
- Sandström K and Oliver I A UML profile for asynchronous hardware design Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (15-26)
- Goel A, Meng S, Roychoudhury A and Thiagarajan P Interacting process classes Proceedings of the 28th international conference on Software engineering, (302-311)
- Brisolara L, Becker L, Carro L, Wagner F, Pereira C and Reis R Comparing high-level modeling approaches for embedded system design Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (986-989)
- Kukkala P, Hännikäinen M and Hämäläinen T Design and implementation of a WLAN terminal using UML 2.0 based design flow Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (404-413)
- Espinoza H, Dubois H, Gérard S, Medina J, Petriu D and Woodside M Annotating UML models with non-functional properties for quantitative analysis Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (79-90)
Index Terms
- UML for real: design of embedded real-time systems