Anforderungs- und Testfall-Codesign
Formalisierung und Testfall-Generierung in der Praxis
Thema: Software
Details
Durch den verstärkten Einsatz von Software in mechatronischen Systemen und die hohen Anforderungen an die Qualität derselben, müssen Entwicklungsprozesse bei der mechatronischen Produkt- beziehungsweise Geräteentwicklung angepasst werden, um dem interdisziplinären Charakter in der Entwicklung zu entsprechen. In diesem Beitrag wird eine Untersuchung von aktuellen Vorgehensweisen und den sich daraus ableitenden Herausforderungen an das Anforderungs- und Testmanagement vorgestellt. Ferner wird ein Konzept zur integrierten Modellierung und Spezifikation von Anforderungen und Testfällen vorgestellt. Fazit: Eine Formalisierung von Anforderungen bis hin zu semi-formalen Anforderungen ermöglicht bei der Spezifikation eine automatische Generierung von Testfällen.
Preis: 4,90 €Zum Shop
Infos zum Autor/Verfasser/Herausgeber
Publikationen zum selben Thema
SPS-Software für fehlersichere Steuerungen
Autor: Norbert Becker/Hochschule Bonn-Rhein-Sieg / Manfred Eggeling/Hochschule Bonn-Rhein-Sieg / Michael Huelke/Institut für Arbeitsschutz der DGUV
Themenbereich: atp edition
Dieser Beitrag beschreibt, wie die Anforderungen der ISO 13849-1 an sicherheitsbezogene SPS-Software im Maschinenbau praxisgerecht umgesetzt werden können. Die Ausführungen basieren auf den Ergebnissen eines vom Institut für Arbeitsschutz (IFA) ...
Cloud-basierte Automatisierung
Autor: Grischan Engel/Hochschule Pforzheim; / Christian Stahl/Deutsches Forschungszentrum für künstliche Intelligenz; / Thomas Greiner/Hochschule Pforzheim; / Mike Barth/Hochschule Pforzheim; / Dominic Gorecky/Deutsches Forschungszentrum für künstliche Intelligenz
Themenbereich: atp edition
Die Integration cyber-physischer Systeme in die industrielle Automatisierung erfordert erweiterte Mechanismen zur Gewährleistung der Verfügbarkeit. Vor diesem Hintergrund untersucht der Beitrag den Einsatz cloud-basierter Steuerungstechnik am ...
Konzept offener Regler: FPGA in der Antriebstechnik
Autor: Peter Zahn/Universität Stuttgart / Igor Laptev/Universität Stuttgart / Alexander Verl/Universität Stuttgart
Themenbereich: atp edition
Systeme mit programmierbarer Logik in Form von Field Programmable Gate Arrays (FPGA) werden zunehmend für die Antriebstechnik interessant. Die Gründe dafür sind die mit einer Hardware-Implementierung vergleichbare Leistung, die Flexibilität im ...