Bilatu
3-tik 1-3 emaitza erakusten
Runtime observable and adaptable UML state machines: models@run.time approach
(ACM, 2019)
n embedded system is a self-contained system that incorporateselements of control logic and real-world interaction. UML State Ma-chines constitute a powerful formalism to model the behaviour ofthese types of systems. In ...
Model-Based Testing in Practice: An Industrial Case Study using GraphWalker
(ACM, 2021)
Model-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test ...
How to Quantify the Security Level of Embedded Systems? A Taxonomy of Security Metrics
(IEEE, 2020)
Embedded Systems (ES) development has been historically focused on functionality rather than security, and today it still applies in many sectors and applications. However, there is an increasing number of security threats ...