P215 - Software Engineering 2013 Workshopband (inkl. Doktorandensymposium)
Auflistung P215 - Software Engineering 2013 Workshopband (inkl. Doktorandensymposium) nach Erscheinungsdatum
1 - 10 von 59
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragBuilding secure systems using a security engineering process and security building blocks(Software Engineering 2013 - Workshopband, 2013) Rein, Andre; Rudolph, Carsten; Ruiz, Jose Fran.In today's software development process, security related design decisions are rarely made early in the overall process. Even if security is considered early, this means that in most cases a more-or-less encompassing security requirements analysis is made. Based on this analysis best-practices, ad-hoc design decisions or individual expertise is used to integrate security during the development process or after weaknesses are found after the deployment. This paper explains the SecFutur security engineering process with a focus on Security Building Block Models which are used to build security related components, namely Security Building Blocks. These Security Building Blocks represent concrete security solutions and can be accessed via SecFu- tur patterns on the level of domain-specific models for particular application domains. The goal of this approach is to provide already defined and tested security related software components, which can be used early in the overall development process, to support security-design-decision already while modeling the software-system. Security Building Blocks are discussed in the context of the SecFutur Security Engineering Process with its requirement analysis and definition of security properties.
- KonferenzbeitragSaving energy in production using mobile services(Software Engineering 2013 - Workshopband, 2013) Ruff, Christopher; Laufs, Uwe; Müller, Moritz; Zibuschka, JanHigh energy costs have led to an increasing relevance of energyefficiency over the last few years. While new equipment is mostly designed to be energy-efficient, feasible action is needed to decrease energy consumption of existing equipment on the shop-floor level. As interventions there rely on dependable information and its use at the right time and place, involvement of ICT systems and particularly mobile devices becomes evident. In our approach, a system based on a SOA back end and a mobile device-based front end was implemented as a prototype. The system uses data provided by sensors, production orders and additional metadata describing specific properties of the production systems to provide decision support and to generate recommendations for the stakeholders to realize immediate as well as longer-term energy savings.
- KonferenzbeitragEine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch Variantenbildung(Software Engineering 2013 - Workshopband, 2013) Hitz, Michael ThomasDer in den letzten Jahren stark gestiegene Bedarf an webbasierten Zugängen zu den Systemen eines Unternehmens für unterschiedliche Nutzergruppen (fachliche Kanäle) führte häufig dazu, dass parallel monolithische, siloartige Frontend-Systeme entstanden sind, welche in Wartung und Weiterentwicklung durch die resultierenden Redundanzen hohe Kosten verursachen. In den letzten Jahren rückten zudem neue Technologien wie mobile Geräte weiter in den Fokus, die neben den fachlichen Kanälen eigene Anforderungen an die Darstellung und die Prozesse haben und damit die Komplexität weiter erhöhen. Um schnell und kosteneffizient auf den Markt reagieren zu können, bedarf es einer Lösung, welche Funktionalitäten kanalübergreifend wiederverwendbar macht und bei Änderungen oder kanalspezifischen Erweiterungen Redundanzen durch Bildung von Varianten vorhandener Oberflächen und Prozesse vermeidet.
- KonferenzbeitragOpening up the verification and validation of safety-critical software(Software Engineering 2013 - Workshopband, 2013) Hungar, Hardi; Behrens, MarcSmooth cross-border rail traffic is of important interest to commercial realizations of ETCS1. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC2 as a target. The goal is to formalize the requirements in a functional model, derive, via design models, an implementation, and demonstrate how the verification and validation activities necessary for certifying a resulting product could be performed. All of this is to be done as an open-source project, employing only open-source tools. One of the main motives behind the approach is to use the potential of an open community to detect design and implementation flaws much earlier than the resource-limited inspection in a traditional development setting. This papers discusses the challenges this new approach faces from the legal requirement of adhering to the standards, mainly the EN 50128 in this case, particularly with respect to verification and validation. This comprises the interpretation and application of the standard throughout all lifecycle phases for a open-source model-based development and qualification issues for personnel and tools.
- KonferenzbeitragCombining safety engineering and product line engineering(Software Engineering 2013 - Workshopband, 2013) Schwinn, Jean-Pascal; Adler, Rasmus; Kemmann, SörenProduct line engineering and safety engineering for software address current challenges in the development of software-intensive, safety-critical embedded systems. The two engineering disciplines have different goals and the approaches for achieving these goals have been created independently from each other. For this reason traditional safety engineering methods do not fit to traditional methods for software product line engineering. The reasearch project "Safe ReSA (Safe Reusable Safety Artifacts)" between the Fraunhofer IESE and Siemens AG has the goal to extend traditional safety engineering methods so that safety engineering can be applied to the reusable artifacts that are created in product line engineering. Sequentially, we present how we extended methods for analyzing cause-effect relation between failures, for developing a safety concept and a safety case. Additionally, we present lessons learned from industry projects and our tool for applying the extended methods to complex real world systems.
- KonferenzbeitragVorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)(Software Engineering 2013 - Workshopband, 2013) Knoop, Jens; Voigtländer, Janis
- KonferenzbeitragMD -DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen(Software Engineering 2013 - Workshopband, 2013) Heitkötter, Henning; Majchrzak, Tim A.; Kuchen, HerbertEntwickler mobiler Anwendungen, sogenannter Apps, stehen einer heterogenen Landschaft an mobilen Plattformen gegenüber, die sich hinsichtlich ihrer Programmierung stark unterscheiden. Häufig sollen zumindest die weit verbreiteten Be- triebssysteme iOS und Android unterstützt werden. Dabei sollen Apps dem nativen, plattformtypischen Aussehen und Verhalten genügen oder zumindest nachempfunden werden. Bestehende Cross-Plattform-Lösungen im mobilen Umfeld unterstützen letztere Anforderung nicht, so dass Entwickler oftmals gezwungen sind, dieselbe App parallel für mehrere Plattformen nativ zu entwickeln. Dies erhöht den Entwicklungsaufwand erheblich, zumal die Implementierung auf einem niedrigen Abstraktionsniveau erfolgt. Dieser Beitrag stellt das Framework MD2 und die domänenspezifische Sprache MD2-DSL vor, die es ermöglicht, Apps mit vorwiegend geschäftlichem Hintergrund auf einem gehobenen Abstraktionsniveau prägnant zu beschreiben. Der modellgetriebene Ansatz MD2 generiert aus den textuellen MD2-DSL-Modellen iOS- und Android-Apps. Die Sprache MD2-DSL enthält Konstrukte zur Abbildung und Umsetzung typischer Anforderungen an Apps und stellt somit eine Alternative zur wiederholten Implementierung einer App auf verschiedenen Plattformen dar.
- KonferenzbeitragEvolution wiederverwendbarer Schnittstellen in der Produktentwicklung(Software Engineering 2013 - Workshopband, 2013) Giesecke, Simon; Streekmann, NielsIm Rahmen der Entwicklung individualisierbarer Standardprodukte bei der BTC AG spielt die Wiederverwendung von Standardschnittstellen eine besondere Rolle. Besonders relevant ist dabei die Betrachtung von API- und ABI-Kompatibilität. Dieser Beitrag beleuchtet die dabei zu betrachteten Dimensionen sowie Strategien zum Umgang mit inkompatiblen Änderungen.
- KonferenzbeitragFunktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie - Stand der Wissenschaft und Forschungsfragestellungen(Software Engineering 2013 - Workshopband, 2013) Daun, Marian; Brings, Jennifer; Höfflinger, Jens; Weyer, ThorstenIm Engineering von software-intensiven eingebetteten Systemen in der Automobilindustrie ist ein deutlicher Trend hin zur funktionsgetriebenen Entwicklung erkennbar. Funktionsgetriebene Entwicklung bedeutet, dass die Funktionen des Systems und deren Abhängigkeiten den wesentlichen Bezugspunkt im Engineering darstellen. Die für die Nutzer wahrnehmbaren Funktionen eines Systems (z.B. adaptive Fahrgeschwindigkeitsregelung) werden dabei in Funktionsverbünden realisiert, d.h. durch das zielgerichtete Zusammenwirken verschiedener Systemfunktionen (z.B. Abstandsbestimmung zum vorausfahrenden Fahrzeug, Be- stimmung des Soll-Motordrehmoments und Einleiten eines Bremsvorgangs). Auf Basis dieser spezifischen Abstraktion (d.h. Funktionen und deren Abhängigkeiten) werden u.a. Wechselwirkungen zwischen Funktionen analysiert, die Wiederverwendung getrieben oder ein ressourcenoptimiertes Deployment bestimmt. Im Hinblick auf aktuelle Herausforderungen in der funktionsgetriebenen Entwicklung von software-intensiven eingebetteten Systemen in der Automobilindustrie werden im vorliegenden Artikel die Ergebnisse einer Analyse des Stands der Wissenschaft vorgestellt. Auf Grundlage dieser Ergebnisse werden Forschungsfragestellungen skizziert, die in zukünftigen Forschungsaktivitäten adressiert werden sollten.
- KonferenzbeitragPattern-based methods for model-based safety-critical software architecture design: A PhD thesis proposal(Software Engineering 2013 - Workshopband, 2013) Khalil, MagedSoftware-intensive systems that perform safety-critical tasks are increasingly prevalent and pervasive in today's world. Driven by the incessant increase in the number of integrated control units, communication systems and software, managing architectural complexity, let alone mastering it, is becoming an increasingly difficult task. Safety standards recommend (if not dictate) performing many analyses during the concept phase of development as well as the early adoption of multiple measures at the architectural design level, most of which has become part of the day-today business of safety-critical development, yet has to receive adequate tool support. This is particularly true if one wishes to front-load these aspects into an integrated solution environment, in wich these (mostly) repetitive tasks can be automated. Model-based development techniques are increasingly used and well suited for these parameters. Combining argumentation logic used for safety cases and safety concepts with abstract reasoning using model-based system description I argue about architectural optimization for safety-critical development. My approach allows reasoning about the system through the use of compositional description, which integrates physical environment models with system functional description models, and links problem-solving patterns with component model libraries which include norminal as well as faulty behavior.