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
- KonferenzbeitragImplementing function block adapters(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Heverhagen, Torsten; Tracht, RudolfFunction Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interface to capsules as well as to function blocks and a description of the mapping between these interfaces. In this paper we discuss implementation issues of FBAs. While the specification of FBAs is completely platform-independent, we show that different hardware solutions force highly platform-dependent implementation models. In most cases a FBA is implemented in two programming languages - an object oriented language and a language out of IEC 61131-3. While object oriented programs mostly implement an event-driven execution semantic, PLC programs are executed cyclically. Especially this heterogeneous implementation environment was the motivation for developing Function Block Adapters.
- KonferenzbeitragState machine modeling: From synch states to synchronized state machines(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Herzberg, Dominikus; Marburger, AndréTo synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure that one region leaves a particular state or states before another region can enter a particular state or states. For some application areas, it is beneficial to synchronize not only regions but also state machines. For example, in data and telecommunications, a pure black box specification of communication interfaces via statechart diagrams gives no adequate means to describe their coordination and synchronization. To circumvent the limitations of the UML, this paper presents the concepts of Trigger Detection Points (TDP) and Trigger Initiation Points (TIP); it allows a modeler to couple state machines. The approach is generic, easy to extend and smoothly fits to the event model of the UML; it could also substitute the more specific concept of synch states.
- KonferenzbeitragA model-based approach for automotive software development(OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Braun, Peter; Rappl, MartinIntegrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain specific issues such as management of signals, the integration of isolated logical functions or the deployment of functions to distributed networks of ECUs. A fundamental prerequisite of such approaches is the existence of an adequate modeling notation tailored to the specific needs of the application domain together with a precise definition of its syntax and its semantics. However, although these constituents are necessary, they are not sufficient for guaranteeing an efficient development process of ECU networks. In addition, methodical support which guides the application of the modeling notation must be an integral part of a model-based approach. Therefore we propose the introduction of a so-called 'system model' which comprises all of these constituents. A major part of this system model constitutes the Automotive Modeling Language (AML), an architecture centric modeling language. The system model further comprises specifically tailored modeling notations derived from the Unified Modeling Language (UML) or the engineering tool ASCET-SD or general applicable structuring mechanisms like abstraction levels which support the definition of an AML relevant well-structured development process.
- 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.
- 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.
- 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.
- 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.