Property:Has Title
P
Security Requirements as Code:Example from VeriDevOps Project +
Ethical AI-Powered Regression Test Selection +
Decentralized Management of IoT Platform Federations and Data Marketplaces +
Specification of Passive Test Cases using anImproved T-EARS Language +
Message from the ITEQS 2021 Workshop Chairs +
Towards a Workflow for Model-Based Testing of Embedded Systems +
Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis +
Overhead-Aware Schedule Synthesis for Logical Execution Time (LET) in Automotive Systems +
XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems +
Model-Based STPA: Towards Safety-Guided Design with Formalization +
NS3SaaS: Cloud-based Network Simulator as a Service with customisable resource scheduling +
Towards Automating a Software-Centered Development Process that considers Timing Properties +
XANDAR: V&V Approach for Safety-Critical Systems in Automotive and Avionics Use Cases +
HFL: Hardware Fuzzing Loop with Reinforcement Learning +
A Comparative Analysis of Security Patterns for Enhanced Security in Safety-Critical Systems +
A Behavior Specification and Simulation Methodology for Embedded Real-Time Software +
A Runtime Security Monitoring Architecture for Embedded Hypervisors +
Cybersecurity Engineering: Bridging the Security Gaps in Avionic Architectures and DO-326A/ED-202A +
Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization +
Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR +