Modeling time in computing: a taxonomy and a comparative survey
CA Furia, D Mandrioli, A Morzenti, M Rossi - ACM Computing Surveys …, 2010 - dl.acm.org
The increasing relevance of areas such as real-time and embedded systems, pervasive
computing, hybrid systems control, and biological and social systems modeling is bringing a …
computing, hybrid systems control, and biological and social systems modeling is bringing a …
Towards the compositional verification of real-time uml designs
Current techniques for the verification of software as eg model checking are limited when it
comes to the verification of complex distributed embedded real-time systems. Our approach …
comes to the verification of complex distributed embedded real-time systems. Our approach …
Using dynamic analysis to discover polynomial and array invariants
Dynamic invariant analysis identifies likely properties over variables from observed program
traces. These properties can aid programmers in refactoring, documenting, and debugging …
traces. These properties can aid programmers in refactoring, documenting, and debugging …
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
Today, advanced technical systems are complex, reconfigurable mechatronic systems
where most control and reconfiguration functionality is realized in software. A number of …
where most control and reconfiguration functionality is realized in software. A number of …
[PDF][PDF] Regulations Expressed As Logical Models (REALM).
C Giblin, AY Liu, S Müller, B Pfitzmann, X Zhou - JURIX, 2005 - Citeseer
Recent years have seen a number of high-profile incidents of corporate accounting fraud,
security violations, terrorist acts, and disruptions of major financial markets. This has led to a …
security violations, terrorist acts, and disruptions of major financial markets. This has led to a …
[BOOK][B] UML for SoC design
G Martin, W Müller - 2006 - books.google.com
A tutorial approach to using the UML modeling language in system-on-chip design Based
on the DAC 2004 tutorial, applicable for students and professionals Contributions by top …
on the DAC 2004 tutorial, applicable for students and professionals Contributions by top …
RT-trust: automated refactoring for trusted execution under real-time constraints
Real-time systems must meet strict timeliness requirements. These systems also often need
to protect their critical program information (CPI) from adversarial interference and …
to protect their critical program information (CPI) from adversarial interference and …
Towards security monitoring patterns
G Spanoudakis, C Kloukinas… - Proceedings of the 2007 …, 2007 - dl.acm.org
Runtime monitoring is performed during system execution to detect whether the system's
behaviour deviates from that described by requirements. To support this activity we have …
behaviour deviates from that described by requirements. To support this activity we have …
[PDF][PDF] An extension of OCL with temporal logic
P Ziemann, M Gogolla - … Systems Development with UML–Proceedings of …, 2002 - Citeseer
UML class diagrams are widely used to model the static structure of object-oriented software
systems. As a supplement, OCL becomes more and more popular for formulating constraints …
systems. As a supplement, OCL becomes more and more popular for formulating constraints …
Model driven development with mechatronic UML
W Schafer - 2008 IEEE Symposium on Visual Languages and …, 2008 - ieeexplore.ieee.org
We address these challenges by the model-driven mechatronic UML development approach
which combines domain specific modeling and refinement techniques with verification …
which combines domain specific modeling and refinement techniques with verification …