Design of embedded systems: Formal models, validation, and synthesis
This paper addresses the design of reactive real-time embedded systems. Such systems are
often heterogeneous in implementation technologies and design styles, for example by …
often heterogeneous in implementation technologies and design styles, for example by …
Model-integrated development of embedded software
The paper describes a model-integrated approach for embedded software development that
is based on domain-specific, multiple-view models used in all phases of the development …
is based on domain-specific, multiple-view models used in all phases of the development …
Hierarchical finite state machines with multiple concurrency models
This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …
composed using various concurrency models, particularly dataflow, discrete-events, and …
YAPI: Application modeling for signal processing systems
EA de Kock, WJM Smits, P van der Wolf… - Proceedings of the 37th …, 2000 - dl.acm.org
We present a programming interface called YAPI to model signal processing applications as
process networks. The purpose of YAPI is to enable the reuse of signal processing …
process networks. The purpose of YAPI is to enable the reuse of signal processing …
A methodology to design programmable embedded systems: the Y-chart approach
B Kienhuis, EF Deprettere, P Van der Wolf… - … Modeling, and Simulation …, 2002 - Springer
Embedded systems architectures are increasingly becoming programmable, which means
that an architecture can execute a set of applications instead of only one. This makes these …
that an architecture can execute a set of applications instead of only one. This makes these …
Graphical data flow programming environment with first model of computation that includes a structure supporting second model of computation
GO Morrow, JC Limroth, JL Kodosky… - US Patent …, 2009 - Google Patents
(54) GRAPHICAL DATA FLOW PROGRAMMING 4,860,204 A* 8/1989 Gendron et al..............
717/109 ENVIRONMENT WITH FIRST MODEL OF 5,210,837 A 5/1993 Wiecek …
717/109 ENVIRONMENT WITH FIRST MODEL OF 5,210,837 A 5/1993 Wiecek …
Creating and executing a graphical program with first model of computation that includes a structure supporting second model of computation
GO Morrow, JC Limroth, JL Kodosky… - US Patent …, 2009 - Google Patents
Abstract System and method for creating and executing a graphical program. A first plurality
of graphical program elements (GPEs) having a first model of computation (MoC), eg …
of graphical program elements (GPEs) having a first model of computation (MoC), eg …
On conceptual structuration and coupling methods of co-simulation frameworks in cyber-physical energy system validation
Co-simulation is an emerging method for cyber-physical energy system (CPES) assessment
and validation. Combining simulators of different domains into a joint experiment, co …
and validation. Combining simulators of different domains into a joint experiment, co …
A hybrid multi-agent system architecture for enterprise integration using computer networks
YE Nahm, H Ishikawa - Robotics and Computer-Integrated Manufacturing, 2005 - Elsevier
The manufacturing industries are now experiencing fierce pressure of competition from
every corner on this planet. In addition, the advancement in computer networks and …
every corner on this planet. In addition, the advancement in computer networks and …
Graphical programming environment with first model of computation that includes a structure supporting second model of computation
GO Morrow, JC Limroth, JL Kodosky… - US Patent …, 2012 - Google Patents
Traditionally, high level text-based programming lan guages have been used by
programmers in writing application programs. Many different high level text-based …
programmers in writing application programs. Many different high level text-based …