A model-driven framework for design and verification of embedded systems through SystemVerilog

A model-based framework for software portability and verification in embedded power management systems

(2018) Asieh Salehi Fathabadi et al.   JOURNAL OF SYSTEMS ARCHITECTURE

Execution of UML models: a systematic review of research and practice

(2018) Federico Ciccozzi et al.   Software and Systems Modeling

Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler

(2017) Haitao Zhang et al.   JOURNAL OF SYSTEMS ARCHITECTURE

Modeling Dependability Features for Real-Time Embedded Systems

(2015) Siru Ni et al.   IEEE Transactions on Dependable and Secure Computing

System-level assertions: approach for electronic system-level verification

(2015) Hassan Sohofi et al.   IET Computers and Digital Techniques

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

(2015) Muhammad Rashid et al.   JOURNAL OF SYSTEMS AND SOFTWARE

FUNCTIONAL VERIFICATION OF A SAFETY CLASS CONTROLLER FOR NPPS USING A UVM REGISTER MODEL

(2014) KYUCHULL KIM   Nuclear Engineering and Technology

Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling

(2014) Sébastien Guillet et al.   ACM Transactions on Reconfigurable Technology and Systems

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

(2013) S. Bernardi et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY

On the integration of model-driven design and dynamic assertion-based verification for embedded software

(2012) Giuseppe Di Guglielmo et al.   JOURNAL OF SYSTEMS AND SOFTWARE

Managing embedded systems complexity with aspect-oriented model-driven engineering

(2011) Cormac Driver et al.   ACM Transactions on Embedded Computing Systems

A Model-Driven Design Framework for Massively Parallel Embedded Systems

(2011) Abdoulaye Gamatié et al.   ACM Transactions on Embedded Computing Systems

An aspect-oriented, model-driven approach to functional hardware verification

(2011) Eamonn Linehan et al.   JOURNAL OF SYSTEMS ARCHITECTURE

A co-design methodology based on model driven architecture for real time embedded systems

(2010) Stéphane Lecomte et al.   MATHEMATICAL AND COMPUTER MODELLING