Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Modelling Behavioural Req… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Paper i proceeding
Författare Grischa Liebel
Anthony Anjorin
Eric Knauss
Florian Lorber
Matthias Tichy
Publicerad i Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Porto, Portugal
ISBN 978-989-758-210-3
Publiceringsår 2017
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar doi.org/10.5220/0006205604270434
Ämnesord Requirements Modelling, Verification, Test Case Generation, Empirical Software Engineering, Model-based Engineering, Model-Driven Engineering
Ämneskategorier Programvaruteknik

Sammanfattning

Formalising requirements has the potential to solve problems arising from deficiencies in natural language descriptions. While behavioural requirements are rarely described formally in industry, increasing complexity and new safety standards have renewed the interest in formal specifications. The goal of this paper is to explore how behavioural requirements for embedded systems can be formalised and aligned with verification tasks. Over the course of a 2.5-year project with industry, we modelled existing requirements from a safety-critical automotive software function in several iterations. Taking practical limitations and stakeholder preferences into account, we explored the use of models on different abstraction levels. The final model was used to generate test cases and was evaluated in three interviews with relevant industry practitioners. We conclude that models on a high level of abstraction are most suitable for industrial requirements engineering, especially when they need to be interpreted by other stakeholders. (

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?