JOURNAL ARTICLE
Correctness issues on MARTE/CCSL constraints
Year: 2015 Journal: Science of Computer Programming Vol: 106 Pages: 78-92 Publisher: Elsevier BV
Keywords:
Computer science Correctness Programming language Representation (politics) State (computer science) State space Unified Modeling Language Semantics (computer science) Theoretical computer science Software Mathematics
Metrics
46
Cited By
6.01
FWCI (Field Weighted Citation Impact)
44
Refs
0.97
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Real-Time Systems Scheduling
Physical Sciences → Computer Science → Hardware and Architecture
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL
Judith M. PetersRobert WilleRolf Drechsler
Year: 2014 Pages: 116-125
JOURNAL ARTICLE
A generic representation of CCSL time constraints for UML/MARTE models
Judith M. PetersRobert WilleNils PrzigodaUlrich KühneRolf Drechsler
Year: 2015 Pages: 1-6
JOURNAL ARTICLE
Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models
Judith M. PetersNils PrzigodaRobert WilleRolf Drechsler
Year: 2016 Pages: 78-84
BOOK-CHAPTER
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
Jagadish SuryadevaraCristina SeceleanuFrédéric MalletPaul Pettersson
Lecture notes in computer science Year: 2013 Pages: 1-15