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 …

Towards the compositional verification of real-time uml designs

H Giese, M Tichy, S Burmester, W Schäfer… - Proceedings of the 9th …, 2003 - dl.acm.org
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 …

Using dynamic analysis to discover polynomial and array invariants

TV Nguyen, D Kapur, W Weimer… - 2012 34th International …, 2012 - ieeexplore.ieee.org
Dynamic invariant analysis identifies likely properties over variables from observed program
traces. These properties can aid programmers in refactoring, documenting, and debugging …

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

S Burmester, H Giese, M Tichy - European Workshop on Model Driven …, 2003 - Springer
Today, advanced technical systems are complex, reconfigurable mechatronic systems
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 …

[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 …

RT-trust: automated refactoring for trusted execution under real-time constraints

Y Liu, K An, E Tilevich - Proceedings of the 17th ACM SIGPLAN …, 2018 - dl.acm.org
Real-time systems must meet strict timeliness requirements. These systems also often need
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 …

[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 …

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 …