A UML-based environment for system design space exploration

L Apvrille, W Muhammad… - 2006 13th IEEE …, 2006 - ieeexplore.ieee.org
The increasing complexity of System-on-Chip (SoC) and time-to-market constraints raise
new methodological issues. To address these issues, this paper introduces a UML-based …

[图书][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 …

Hardware as a Service (HaaS): Physical and virtual hardware on demand

A Stanik, M Hovestadt, O Kao - 4th IEEE international …, 2012 - ieeexplore.ieee.org
Cloud computing has already been adopted in a broad range of application domains.
However, domains like the distributed development of embedded systems are still unable to …

On the automated translational execution of the action language for foundational UML

F Ciccozzi - Software & Systems Modeling, 2018 - Springer
To manage the rapidly growing complexity of software development, abstraction and
automation have been recognised as powerful means. Among the techniques pushing for …

An object-oriented approach to formally analyze the UML 2.0 activity partitions

T Bouabana-Tebibel, M Belmesk - Information and Software technology, 2007 - Elsevier
Nowadays, UML is the de-facto standard for object-oriented analysis and design.
Unfortunately, the deficiency of its dynamic semantics limits the possibility of early …

Ttool for diplodocus: An environment for design space exploration

L Apvrille - Proceedings of the 8th international conference on …, 2008 - dl.acm.org
TTool for DIPLODOCUS is an open-source UML-based toolkit for the design space
exploration of system-on-chip. DIPLODOCUS is the name of the underlying UML profile …

Context-awareness in smart spaces

S Pantsar-Syväniemi, K Simula… - The IEEE symposium on …, 2010 - ieeexplore.ieee.org
Any of our living environments can form a smart space that provides services and
applications for the users according to their situations, the computing and communication …

An aspect-oriented model-driven engineering approach for distributed embedded real-time systems

MA Wehrmeister - 2009 - lume.ufrgs.br
Currently, the design of distributed embedded real-time systems is growing in complexity
due to the increasing amount of distinct functionalities that a single system must perform …

Formal system‐level design space exploration

D Knorreck, L Apvrille, R Pacalet - … and Computation: Practice …, 2013 - Wiley Online Library
SUMMARY DIPLODOCUS is a UML profile intended for the modeling and the formal
verification of real‐time and embedded applications commonly executed on complex …

Transformation of UML state machines for direct execution

T Schattkowsky, W Muller - 2005 IEEE Symposium on Visual …, 2005 - ieeexplore.ieee.org
Executable UML models are nowadays gaining interest in embedded systems design. This
domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In …