P005 - OMER 2001- Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2
Auflistung nach:
Auflistung P005 - OMER 2001- Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 nach Erscheinungsdatum
1 - 10 von 16
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragSpecifying building automation systems with PROBAnD, a method based on prototyping, reuse, and object-orientation(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Metzger, Andreas; Queins, StefanIn this article, the PROBAnD requirements engineering method, which is specialized towards the domain of building automation systems, is presented. The method bases on object-orientation to handle complexity, reuse to gain efficiency as well as product quality, and prototyping to enable test-based verification and valida- tion early in the development process. To demonstrate the applicability and efficiency of this method, the results of an extensive case study are introduced.
- KonferenzbeitragUsing UML to model complex real-time architectures(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Selic, Bran
- KonferenzbeitragOn the real value of new paradigms(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Tempelmeier, TheodorThis is a critical assessment of some of the new paradigms of software engineering. The Unified Modeling Language, the notion of design patterns, and some ideas for future and more advanced modelling elements are investigated. This is done from a practical and theoretical point of view, with a focus on real-time and embedded systems development.
- KonferenzbeitragUML metamodel extensions for specifying functional requirements of mechatronic components in vehicles(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Petersen, Jörg; Bertram, Torsten; Lapp, Andreas; Knorr, Kathrin; Torre Flores, Pio; Schirmer, Jürgen; Kraft, Dieter; Hermsen, WolfgangIncreasing demands concerning safety, economic impact, fuel consumption and comfort result in a growing utilisation of mechatronic components and networking of up to now widely independent systems in vehicles. The development of networked electronic control units (ECU) as the most frequent mechatronic applications contains three core aspects: the development of the (control) functions itself, and their realisation in hardware and software as embedded systems. A co-ordinated, systematic and concurrent function, hardware and software development process including co-engineering and simulation environments requires a detailed specification in early development phases and a formalised description to improve the clearness of these specifications, decrease contradictions and increase information density. The Unified Modeling Language (UML) offers such a formalised description facility. A UML metamodel will be presented used for a mapping of automotive domain specific functional models onto UML models including constraints formalised by Object Constraint Language (OCL) expressions. The model also comprises the specification of functional interfaces together with a hierarchical decomposition of the system. The UML automotive domain models are basis for the system design and architecture and support aspects like re-use, exchangeability, scalability and distributed development. Particular importance is attached to the implementation of the UML model in a commercial tool together with a prototype checker of OCL expressions realised in Java.
- KonferenzbeitragTowards service-based flexible production control systems and their modular modeling and simulation(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Giese, Holger; Nickel, Ulrich A.Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to new or changing requirements. For validation in form of simulation, however, usually a complete specification of both, the production control software and the physical elements of the manufacturing plant is required. We therefore proposed to use a service-based architectural approach to build the control software using more rigorous separation by means of well-defined interfaces following the software component paradigm. We present an extension of ROOM that further facilitates service-based design and permits the independent validation of components for such a design style. We show how the combination of both concepts permits the compositional validation of the system and thus enables early design validation even for flexible systems. The presented approach further reduces the validation overhead imposed by design evolution as long as local component properties are considered and component interfaces are stable.
- KonferenzbeitragOMER-2 workshop Daimler-Chrysler modeling contest – Modeling S-class car seat control with AnyLogic(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Filippov, Alexei; Borshchev, AndreiIn this paper we give an overview of the car seat model that was developed for Daimler-Chrysler modeling contest in year 2001 and was awarded the 1st prize. We outline the OO UML-RT based modeling approach that was used and the simulation tool AnyLogic that supports it, and discuss their main advantages with respect to automotive area.
- KonferenzbeitragAn isomorphic mapping for specc in UML(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Diaz-Herrera, Jorge L.; Chen, Hanmei; Alam, Rukshana
- KonferenzbeitragDevelopment of a car seat: A case study using AUTOFOCUS, DOORS, and the Validas Validator(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Braun, Peter; Slotosch, OscarIn this paper we describe the modeling process and the resulting model of a typical car seat. The requirements of this seat are documented in [Chr00] which are the input of our process. We used the tools AUTOFOCUS [AF-02], DOORS [Tel02], and Validas Validator [Val02]. Starting with requirements analysis we develop first model fragments. Afterwards the graphical, component oriented approach of AUTOFOCUS is used to model the system. Requirements management and tracing techniques ensure that all requirements are implemented. The model-based core of the development process helps very much for the requirements tracing. The model fragments of the earlier phases can be updated so that tracing information is consistent. Compared to traditional requirements tracing techniques less manual interaction is needed. Beside this the test management is also done based upon the requirements. For relevant requirements test cases are specified. This is done using the AUTOFOCUS notation of Extended Event Traces (EETs) a variant of Message Sequence Charts (MSCs). Afterwards the generated code of the model is tested based upon those test cases. Further validation techniques like simulation, consistency, and determinism checks of the Validas Validator have led to the detection of inconsistencies in the model and in the specification.
- KonferenzbeitragOn the behavior of complex object-oriented systems(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Harel, David
- KonferenzbeitragUML and real-time systems(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Björkander, MorganUML has traditionally been used to specify object-oriented software systems. With its rising popularity, the desire to use it for various vertical domains have grown stronger, and in this paper we focus on requirements from the real-time domain. In particular, we look at how tools and features from the real-time domain have affected the standardization efforts when further developing the next generation of UML, called UML 2.0. As part of the language proper, the primary concern is to cover soft real-time aspects, while hard real-time aspects are handled as part of the Real-Time UML profile, which focuses on mechanisms to support schedulability and performance analysis. This paper focuses on the former aspects, but also touches on the latter aspects. In addition, we examine some of the influences from languages that are normally associated with real-time, such as SDL and UML-RT.