Traceable and Model-Based Requirements Derivation, Simulation, and Validation Using MATLAB Simulink and Polarion Requirements

Schmiechen, Kevin; Hochstrasser, Markus; Rhein, Julian; Schropp, Christopher; Holzapfel, Florian

doi:10.2514/6.2019-0500

Cited by 7 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A modellek alkalmazása azonban elvitathatatlan előnyökkel rendelkezik, ha a cikkben leírt szempontokat figyelembe vesszük, és ha a modellek alkalmazását a helyén kezeljük, a fejlesztési és a verifikációs folyamat gyorsabb és hatékonyabb lehet, mint a klasszikus módszerek alkalmazása [11].…”

Section: öSszefoglalóunclassified

A fejlesztésben használt szoftvermodellek alkalmazása és minősítése

Schuster

2023

RepTudKoz

View full text Add to dashboard Cite

A feladatok komplexitásának növekedésével a fejlesztőknek különböző eszközöket kell használni. Erről egy előző publikációban már részletesen beszéltünk. Ebben a cikkben egy speciális területet érintünk, amely napjainkban egyre inkább előtérbe kerül, ez a modellek alkalmazásának kérdése. A modellek alkalmazása biztonságkritikus rendszerekben azonban felveti a modellek megbízhatóságának kérdését, illetve ezeknek a szoftvereszközöknek a minősítési kérdéseit.

show abstract

Section: öSszefoglalóunclassified

A fejlesztésben használt szoftvermodellek alkalmazása és minősítése

Schuster

2023

RepTudKoz

View full text Add to dashboard Cite

show abstract

“…The tool SimPol, which was developed at our institute, is used to create bidirectional traceability between requirements on Polarion and Design Models and test cases in Simulink Test. Further details in the context of requirement derivation, simulation and validation are discussed in [22], [23].…”

Section: A Requirements Managementmentioning

confidence: 99%

A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331

Dmitriev,

Zafar,

Schmiechen

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

The emergence of a global market for urban air mobility and unmanned aerial systems has attracted many startups across the world. These organizations have little training or experience in the traditional processes used in civil aviation for the development of software and electronic hardware. They are also constrained in the resources they can allocate for dedicated teams of professionals to follow these standardized processes. To fill this gap, this paper presents a custom workflow based on a subset of objectives derived from the foundational standards for safety critical software DO-178C/DO-331. The selection of objectives from the standards is based on the importance, degree of automation, and reusability of specific objectives. This custom workflow is intended to establish a lean and highly automated development life cycle resulting in higher quality software with better maintainability characteristics for research and prototype aircraft. It can also be proposed as means of compliance for software of certain applications such as unmanned aircraft systems, urban air mobility and general aviation. By producing the essential set of development and verification artifacts, the custom workflow also provides a scalable basis for potential future certification in compliance with DO-178C/DO-331. The custom workflow is demonstrated in a case study of an Autopilot Manual Disconnection System.

show abstract