709 research outputs found
Das Interview
No full textDigitalization unleashedThis interview with Manfred Broy and Christian Prehofer describes the role of Informatics and its new challenges with the advent of digitalization, the typical phases of digitalization, from the digitalization of existing processes to new digital business models and ecosystems. Informatics, especially data analytics and software engineering, are essential for actively shaping these new, data-driven business models. Software and data are no longer just enablers, but form critical assest which shape new new business. From this perspective, we analyze the role of informatics in research, teaching and practice
Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461)
No full textBroy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
No full textWe apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport. As part of the Dagstuhl Workshop on Reactive Systems, Manfred Broy and Leslie Lamport proposed a “Specification Problem ” [1]. The problem calls for the specification and validation of a small distributed system dealing with a remote procedure call interface. Broy and Lamport invited proponents of different formal methods to specify and validate the system, in order to compare the results of different methods on a common problem. We take up the challenge and specify the problem using the Gurevich abstract state machine (ASM) methodology. This paper is self-contained. In Section 1, we present an introduction to Gurevich abstract state machines, including real-time machines. The remaining sections contain the original problem description of Broy and Lamport, interspersed with our ASM specifications and validations. Acknowledgements. The suggestion to give a ASM solution to this problem was made by Egon Börger and Yuri Gurevich; in particular, Yuri Gurevich actively contributed to an early version of the work [6]. Leslie Lamport made comments on an early draft of this work; Chuck Wallace made comments on a late
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit
No full textCyber-Physical Systems im Sinne der acatech Studie (vgl. [Geisberger, Broy 12]) sind software-intensive Systeme, die unmittelbar mit der physikalischen Wirklichkeit verbunden sind, aber im Gegensatz zu klassischen eingebetteten Systemen tief und umfassend über globale Netzstrukturen, wie das Internet und damit verfügbare Daten und Dienste, vernetzt sind. Dadurch entstehen Systeme, die eng in die physikalische Wirklichkeit integriert sind, diese auch in das Internet transportieren und umgekehrt Daten und Dienste aus dem Internet nutzen
Multi-View Modelling of Software Systems Extended Abstract
No full textAbstract. Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting subsystems we introduce a formal model and a theory that covers two essentially dual concepts of systems engineering. One idea is that of comprehensive system functionality in terms services and the other one is that of architectures that are networks of components described by their interfaces. We show how these notions interact and work together in systems requirements engineering and design.
IT-Projekte erfolgreich mit dem neuen V-Modell XT Tagungsband zur Auftaktveranstaltung am 4. Februar 2005
No full textNach fast 2 Jahren Entwicklung war es am 4. Februar 2005 soweit: Mit einer Auftaktveranstaltung wurde an der Technischen Universitaet Muenchen der feierliche Erlass und Startschuss fuer das V-Modell XT gegeben. Hochkaraetige Vertreter aus Politik, Wirtschaft und Forschung nahmen teil, berichteten ueber Hintergruende, Beduerfnisse und Erwartungen. Nachdem das V-Modell seit 1992 auf eine mehr als 10-jaehrige Geschichte zurueckblickt, wurde nun mit dem V-Modell XT der naechste evolutionaere Schritt getan. In einem gross angelegten Public-Private Joint Venture wurde im Auftrag des ITAmtBw und des Bundesinnenministeriums das neue V-Modell entwickelt. Hauptauftragnehmer waren die Technische Universitaet Muenchen und die Technische Universitaet Kaiserslautern, die zusammen mit ihren Partnern, Siemens, der EADS, der IABG und der 4Soft, neueste methodische und technische Erkenntnisse zusammen mit bewaehrtem Wissen im VModell XT zusammentrug. Am 4. Februar wurde es der breiten Oeffentlichkeit vorgestellt. Im Rahmen der Festveranstaltung sprachen Otto Schily (Bundesminister des Innern), Wolfgang Stolp (Praesident des IT-AmtBw), Prof. Manfred Broy (TU Muenchen), Prof. Heinrich Daembkes (EADS), Thomas Dittler (IABG), Reinhold Achatz (Siemens) und J. Prof. Andreas Rausch (TU Kaiserslautern) zum V-Modell XT. Die Redner hoben dabei insbesondere die Bedeutung des neuen IT-Vorgehensstandards fuer Deutschland hervor. Nach dem feierlichen Erlass wurde dem interessierten Publikum am Nachmittag die Moeglichkeit gegeben, sich in einer Reihe von Fachvortraegen umfassend ueber das neue V-Modell XT zu informieren
- …
