1376 search results - page 222 / 276 » Model-Driven Software Verification |
150
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
141
click to vote
CASES
2010
ACM
15 years 29 days ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
106
click to vote
EMSOFT
2010
Springer
15 years 28 days ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
119
click to vote
EMSOFT
2010
Springer
15 years 28 days ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
129
click to vote
SEDE
2010
15 years 24 days ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...