Auflistung nach:
Auflistung Softwaretechnik-Trends 31(3) - 2011 nach Erscheinungsdatum
1 - 10 von 15
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelCall for Participation: IWSM/MENSURA 2011(Softwaretechnik-Trends Band 31, Heft 3, 2011) IWSM/MENSURA 2011
- Zeitschriftenartikel4. Workshop Entwicklung zuverlässiger Software-Systeme 2011(Softwaretechnik-Trends Band 31, Heft 3, 2011) Keller, Hubert B.; Klenk, Herbert
- ZeitschriftenartikelModel-Based Debugging of Embedded Software Systems(Softwaretechnik-Trends Band 31, Heft 3, 2011) Iyenghar, Padma; Pulvermueller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wuebbelmann, JuergenModel Driven Development (MDD) has been slowly superseding traditional ways of developing embedded software in the recent decade. In line with the MDD, debugging Real-Time Embedded Software Systems (RTESS) and visualizing their behavior using models such as UML diagrams is becoming a reality. However, the existing MDD based debugging tools for RTESS are not applicable (require significant source code instrumentation, sophisticated debug interfaces, etc) for memorysize constrained RTESS. To address this, we discuss a modelbased debugging methodology for RTESS which aims at overcoming the aforementioned limitations. Using our approach, the target behavior can be visualized in real-time using UML sequence and timing diagrams. We illustrate our approach with a prototype and examples. Performance metrics such as the target monitor size and the instrumentation overhead are discussed.
- ZeitschriftenartikelMigration von AUTOSAR-basierten Echtzeitanwendungen auf Multicore-Systeme(Softwaretechnik-Trends Band 31, Heft 3, 2011) Bohn, Michael; Schneider, Jorn; Eltges, Christian; Rößger, RobertSelbst sicherheitskritische Echtzeitanwendungen im Automobilbereich werden in naher Zukunft auf Multicore-Systeme migriert werden, um den steigenden Innovationshunger nach neuen Produktmerkmalen decken zu können. Eine manuelle Migration der über Jahre gewachsenen Softwarebasis ist, schon aufgrund des Umfangs der zu migrierenden Software, kaum zu leisten. Hinzu kommen die kaum zu durchschauenden Äbhangigkeiten der Softwarebestandteile untereinander, die mühevoll analysiert und bewertet werden müssen, um eine korrekte Migration durchzuführen. Dieser Beitrag stellt einen neuartigen Ansatz für das automatische Auffinden und Bewerten von Abhängigkeiten mit Hilfe statischer Programmanalysen vor. Die ebenfalls vorgestellten ersten Ergebnisse stützen die These, dass das Konzept zur teilautomatisierten Migration von Echtzeitsoftware auf Multicore-Systeme einsetzbar ist.
- ZeitschriftenartikelVerifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers(Softwaretechnik-Trends Band 31, Heft 3, 2011) Ammann, ChristianEin Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexitt erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden lsst. Dies führt dazu, dass eine vollstndige Verifikation mit einem Model Checker nicht mehr möglich ist, da der gesamte Zustandsraum nicht mehr untersucht werden kann. Um diesem Problem zu begegnen, stellt diese Arbeit die domnenspezifische Sprache UDL (UML-Statechart Description Language), sowie eine Transformation von UDL in die Model Checker Eingabesprache Promela vor. Der Schwerpunkt der Sprache UDL und des Übersetzungsprozesses liegt dabei auf der Generierung von effizientem Promelacode, der beim Verifizieren einen möglichst kleinen Zustandsraum belegt. Der Vorteil ist, dass durch diesen Ansatz auch größere Modelle wieder verifizierbar werden. Die Machbarkeit des Ansatzes und die daraus entstehenden Vorteile werden anhand einer Fallstudie mit dem 3D-Bewegungstrackingsystem AssyControl demonstriert.
- ZeitschriftenartikelPartitioning and Task Transfer on NoC-based Many-Core Processors in the Avionics Domain(Softwaretechnik-Trends Band 31, Heft 3, 2011) Hilbrich, Robert; van Kampenhout, J. ReinierNetworks-on-Chip (NoC) based many-core processors can not only increase system performance but also allow he integration of multiple functions on a single hardware platform. To consolidate functionality on many-core systems in safety-critical domains software partitioning is required to avoid the propagation of faults due to the use of shared resources. In this paper we propose extensions to well established single-core partitioning mechanisms to take novel architectural characteristics of many-core processors into account. In addition to fixed partitioning, we present flexible partitioning as an approach to improve resource utilization and fault tolerance using dynamic reconfiguration. Flexible partitioning requires task migration between cores via a shared resource - the NoC - which may endanger the required predictability. Therefore we empirically analyze a variety of task transfer mechanisms on a Tilera TILEPro64TM many-core processor regarding their potential for deterministic reconfiguration during run-time.
- ZeitschriftenartikelAn Approach for Requirements Engineering for Software Library-Components and Patterns to be Reused in and across Product Lines(Softwaretechnik-Trends Band 31, Heft 3, 2011) Herrmann, Dirk; Liebehenschel, JensIn the development of product lines one of the challenges is to exploit commonalities among products such that development cost is reduced. For software, this implies to identify parts that are sufficiently similar to define library-components or patterns for reuse. The detailed definition of scope, responsibilities and interfaces for library-components and patterns is part of their design process, which makes requirements engineering different for them. The paper presents a method to determine a set of requirements that forms a suitable starting point for the design. This assures that the component or pattern to be designed fits well to all systems under consideration. Established design principles like abstraction or parameterization are applied to requirement engineering and management. The method has been successfully applied in several automotive cross-product-line development projects.
- ZeitschriftenartikelISO 26262 – Exemplary Tool Classification of Model-Based Design Tools(Softwaretechnik-Trends Band 31, Heft 3, 2011) Conrad, Mirko; Fey, InesTool classification is an important part of the tool qualification process required by ISO 26262 since it determines the required confidence level for each tool in use. To cover the variety of tools used by practitioners, the standard only provides a framework for tool classification and leaves it up to the applicant to instantiate this framework. To illustrate the ISO 26262 tool classification procedure, this paper provides an exemplary tool classification for the Model Advisor, a static analysis tool used in Model-Based Design, By putting this example into the context of a practical tool qualification approach for COTS tools, the author’s report their experiences in instantiating the ISO 26262-8 tool qualification framework.
- ZeitschriftenartikelTowards Fault-based Generation of Test Cases for Dependable Embedded Software(Softwaretechnik-Trends Band 31, Heft 3, 2011) Herzner, Wolfgang; Schlick, Rupert; Brandl, Harald; Wiessalla, JohannesIn the European project MOGENTES1 methods for model-based generation of efficient test cases are developed. A special focus is laid on test cases, which not only allow for assessing the fulfillment of requirements, but in particular looking for potential faults – or prove their absence. This is achieved by mutation-based testing: an original model is modified to simulate faults, and then test cases are searched which are able to distinguish between original and mutated model. This paper gives an overview of MOGENTES, presents an application example from the automotive domain, and summarizes the results from this example.
- ZeitschriftenartikelTools and Methods for Validation and Verification as requested by ISO26262(Softwaretechnik-Trends Band 31, Heft 3, 2011) Gebhardt, Markus; Kaske, AxelThe following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (or similar standards) and will point out how some dedicated tools from ETAS may help to fulfill and implement these. A brief introduction into the underlying technology will be given in order to discuss the aspects/use cases where these tools can be used either for simulation purpose or in combination with the final target.