Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelZuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung(Softwaretechnik-Trends Band 29, Heft 3, 2009) Söhnlein, Sven; Saglietti, Francesca; Bitzer, Franz; Baryschew, SiegfriedDieser Artikel schildert einen neuen Ansatz zum Zuverlässigkeitsnachweis sicherheitskritischer Softwaresysteme mittels statistischer Auswertung der Betriebserfahrung. Die praktische Anwendung dieses Verfahrens wird anhand einer GetriebesteuerungsSoftware demonstriert, welche momentan im Rahmen einer industriellen Forschungskooperation durchgeführt wird.
- ZeitschriftenartikelFachgruppe Software-Architektur: Bericht von der Jahrestagung Software-Architektur 2009 vom 18.–19. Juni 2009 in Kiel(Softwaretechnik-Trends Band 29, Heft 3, 2009) Hasselbring, Wilhelm; Matthes, Florian; Overhage, Sven; Reussner, Ralf; Weck, Wolfgang
- ZeitschriftenartikelAnalyse und Entwicklung einer μ-Controller-basierten Echtzeitsteuerung für Sensorsysteme mit Ada-Raven(Softwaretechnik-Trends Band 29, Heft 3, 2009) Götz, Matthias; Matthes, Jörg; Keller, Hubert B.; Seifert, Rolf
- ZeitschriftenartikelIT Security in Automotive Software Development(Softwaretechnik-Trends Band 29, Heft 3, 2009) Schulze, Sandro; Pukall, Mario; Hoppe, TobiasIn the last years, automotive systems evolved to be more and more software-intensive systems. As a result, considerable attention has been paid to establish an efficient software development process of such systems, where reliability is an important criterion. Hence, model-driven development (MDD), software engineering and requirements engineering (amongst others) found their way into the systems engineering domain. However, one important aspect regarding the reliability of such systems, has been largely neglected on a holistic level: the IT security. In this paper, we introduce a potential approach for integrating IT security in the requirements engineering process of automotive software development using function net modeling.
- ZeitschriftenartikelMigration of SES to FPGA Based Architectural Concepts(Softwaretechnik-Trends Band 29, Heft 3, 2009) Steindl, M.; Mottok, J.; Schiller, F.; Fruechtl, M.Creating diverse redundancy for fail safe or fail operational systems in software reduces costs for additional hardware and increases flexibility. A lack of performance occurs by implementing a diverse software channel for e.g. floating-point operations in a traditionally microcontroller architecture. This paper gives an approach for transferring the Safely Embedded Software (SES) into a coprocessor and to migrate SES to a flexible and powerful FPGA architecture.
- ZeitschriftenartikelAstrée: Nachweis der Abwesenheit von Laufzeitfehlern(Softwaretechnik-Trends Band 29, Heft 3, 2009) Kästner, Daniel; Ferdinand, Christian; Wilhelm, Stephan; Nenova, Stefana; Honcharova, Olha; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier; Sims, Élodie-JaneSicherheitskritische eingebettete Systeme müssen hohen Qualitätsanforderungen genügen. Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler können zu fehlerhaftem Programmverhalten führen. Da in der Regel keine vollständige Testabdeckung möglich ist, bieten sich statische Analysatoren an. Diese bieten eine vollständige Coverage, können jedoch Fehlalarme erzeugen. Da jeder potentielle Laufzeitfehler manuell vom Benutzer überprüft werden muss, kann eine hohe Zahl von Fehlalarmen dazu führen, dass echte Fehler übersehen werden. Der statische Analysator Astrée kann durch Spezialisierung und Parametrisierung an die zu analysierende Software angepasst werden. Dies ermöglicht kurze Analysezeiten und eine niedrige Zahl von Fehlalarmen. Astrée wird z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt.
- ZeitschriftenartikelModel-based Testing and Verification of Dependable Systems(Softwaretechnik-Trends Band 29, Heft 3, 2009) Beer, ArminTesting of dependable event-based systems is very important to ensure that all requirements (including nonfunctional requirements such as reliability, availability, safety and security) are met, and the relevant standards are observed. In this paper we provide an overview of the state of the practice in testing dependable event-based systems and identify the challenges that have to be addressed in the future. We illustrate our findings by a case study for a transportation system. The most important topics for research and improvement are: (1) formal modeling techniques for domain experts, (2) smart monkey testing techniques for reliability testing (3) mutation analysis to reveal the defect-detection potential of test suites, and a (4) recommending tool for the selection of test-case design methods.
- ZeitschriftenartikelMethode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle(Softwaretechnik-Trends Band 29, Heft 3, 2009) Daw, Zamira; Alvarez, Flor; Vetter, MarcusParallele Verarbeitungen erhöhen die Komplexität bei der Entwicklung von signalverarbeitenden eingebetteten Systemen. Die Synchronisierung der Ressourcen und die Gewährleistung von deterministischem Verhalten werden häufig nicht betrachtet. Infolgedessen erfordern die Suche und die Behebung von Fehlern mehr Zeit. Diese Arbeit stellt eine Methode zur Entwicklung von signalverarbeitenden eingebetteten Systemen vor. Durch das in dieser Arbeit vorgestellte DMOSES-Profil werden deterministische Modelle in UML unabhängig von der HardwarePlattform gewährleistet. Bei der Entwicklung von sicherheitskritischen Systemen wird die DMOSESMethode zur Sicherstellung eines deterministisches Ausfuhrungsverhalten genutzt.
- ZeitschriftenartikelAufruf zur Teilnahme: IWSM/MENSURA 2009(Softwaretechnik-Trends Band 29, Heft 3, 2009) Dumke, Reiner
- ZeitschriftenartikelAufruf zur Teilnahme an der MetriKon 2009(Softwaretechnik-Trends Band 29, Heft 3, 2009) Dumke, Reiner