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 Pro

Presents the zaia usage as premium feature

ZAIA

Presents AI Discovery search usage as a premium feature

AI Discovery

Presents AI Discovery explain and summary usage as a premium feature

Content Analysis

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Presents the pdf analysis as premium feature

PDF Analysis

1500 Top-up

3000 Top-up

Zendy Basic

2500 Top-up

Zendy Unlimited

Presents the access of premium content as premium feature

Premium Content

Software-intensive and networked embedded systems implement more and more security critical tasks. The following paper presents a framework to support security analysis along the design process using virtual prototypes (VPs). VPs describe the interconnection between different system components, include actual application codes and even integrate existing physical prototypes. These enable the user to detect structural security flaws, implementation flaws and even hardware-based security problems. Benefits of using VPs are the early availability in the design process and the fact that VPs are based on software, therefore established security analysis methods for software can be applied. This paper provides a methodology and tooling support to apply VP in the context of security analyses. Especially the integration in a model-driven design (MDD) process is highlighted. A proposed security UML profile as well as code generation ease the VP-based analysis.

Model-guided Security Analysis of Interconnected Embedded Systems