Cloud storage as the infrastructure of cloud computing
J Wu, L **, X Ge, Y Wang, J Fu - … International conference on …, 2010 - ieeexplore.ieee.org
As an emerging technology and business paradigm, Cloud Computing has taken
commercial computing by storm. Cloud computing platforms provide easy access to a …
commercial computing by storm. Cloud computing platforms provide easy access to a …
[BOOK][B] Modeling and analysis of real-time and embedded systems with UML and MARTE: Develo** cyber-physical systems
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE
explains how to apply the complex MARTE standard in practical situations. This …
explains how to apply the complex MARTE standard in practical situations. This …
Syntax and semantics of the clock constraint specification language (CCSL)
C André - 2009 - inria.hal.science
The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …
Clock constraint specification language: specifying clock constraints with UML/MARTE
F Mallet - Innovations in Systems and Software Engineering, 2008 - Springer
Abstract The Object Management Group (OMG) unified modeling language (UML) profile for
modeling and analysis of real-time and embedded systems (MARTE) aims at using the …
modeling and analysis of real-time and embedded systems (MARTE) aims at using the …
A systematic review on the definition of UML profiles
J Pardillo - Model Driven Engineering Languages and Systems …, 2010 - Springer
This article reports a systematic review on the definition of UML profiles in the research
literature. Several exploratory statistical analyses have been performed in order to …
literature. Several exploratory statistical analyses have been performed in order to …
[HTML][HTML] Correctness issues on MARTE/CCSL constraints
Abstract The UML Profile for Modeling and Analysis of Real-Time and Embedded systems
promises a general modeling framework to design and analyze systems. Lots of works have …
promises a general modeling framework to design and analyze systems. Lots of works have …
Logical Synchrony and the bittide Mechanism
We introduce logical synchrony, a framework that allows distributed computing to be
coordinated as tightly as in synchronous systems without the distribution of a global clock or …
coordinated as tightly as in synchronous systems without the distribution of a global clock or …
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform
M Baleani, F Gennari, Y Jiang, Y Patel… - Proceedings of the …, 2002 - dl.acm.org
This paper studies the use of a reconfigurable architecture platform for embedded control
applications aimed at improving real time performance. The hw/sw codesign methodology …
applications aimed at improving real time performance. The hw/sw codesign methodology …
Verifying MARTE/CCSL mode behaviors using UPPAAL
In the development of safety-critical embedded systems, the ability to formally analyze
system behavior models, based on timing and causality, helps the designer to get insight …
system behavior models, based on timing and causality, helps the designer to get insight …
A proven translation from a UML state machine subset to timed automata
F Peres, M Ghazel - ACM Transactions on Embedded Computing …, 2024 - dl.acm.org
Although Unified Modeling Language (UML) state machines constitute a convenient
modeling formalism that is widely used in many applications, the lack of formal semantics …
modeling formalism that is widely used in many applications, the lack of formal semantics …