English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

In industrial model-based development (MBD) frameworks, requirements aretypically specified informally using textual descriptions. To enable theapplication of formal methods, these specifications need to be formalized inthe input languages of all formal tools that should be applied to analyse themodels at different development levels. In this paper we propose a unifiedapproach for the computer-assisted formal specification of requirements andtheir fully automated translation into the specification languages of differentverification tools. We consider a two-stage MBD scenario where first Simulinkmodels are developed from which executable code is generated automatically. We(i) propose a specification language and a prototypical tool for the formal butstill textual specification of requirements, (ii) show how these requirementscan be translated automatically into the input languages of Simulink DesignVerifier for verification of Simulink models and BTC EmbeddedValidator forsource code verification, and (iii) show how our unified framework enablesbesides automated formal verification also the automated generation of testcases.

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development