embedded system modeling research papers
Knowledge Based Embedded System Modeling With Real-Time Response Requirements
Modeling and validating distributed embedded real-time systems with VDM++
free download
order to cope with this complexity and indeed a large body of knowledge exists on Profile for
Schedulability, Performance and Time, and research on performance analysis based on this an
extension of VDM++ to enable the modeling of distributed real-time embedded systems.
Architectural foundations for real-time performance in intelligent agents
free download
B Hayes-Roth Real-Time Systems, 1990 ,Springer
Hayes-Roth and Erman 1989), we model an intelligent agent as a dynamic embedded system.
The driver also should send feedback to the cognitive system regarding the success or It performs
a variety of knowledge-based reasoning tasks, which vary across different task
Boosting re-use of embedded automotive applications through rich components
free download
W Damm, A Votintseva, A Metzner, B Josko , of Foundations of , 2005 ,tcs-trddc.com
now becomes shared across designs and across design teams, leading to an incrementally
growing knowledge base. The system-level design environment Ptolemy II5 supports the
component-based heterogeneous modeling and simulation of embedded systems.
Embedded system design using UML and platforms
free download
R Chen, M Sgroi, L Lavagno, G Martin System Specification, 2004 ,Springer
<<opaque stack>> describes the case when the upper level component has no knowledge
of how the service is . de Jong, A UML-Based Design Methodology
for Real-Time and Embedded Systems, Proceedings of DATE 02.
At the Boundary of Workflow and AI
free download
KL Myers, PM Berry , AAAI-99, Workshop on Agent-Based Systems in the , 1999 ,aaai.org
Hierarchical models are generally desir- able for modeling sophisticated processes due to their
capac- ity to simplify complex tasks. A reactive control system is a form of knowledge-based
software controller that operates as an embedded system within dynamic
Semantic space: An infrastructure for smart spaces
free download
gathers environmental information such as temperature, noise, and light from embedded sensors),
and of gathering contexts from sources, man- aging contexts using the knowledge base, handling
application queries, and reasoning about contexts based on rules.
Feedback control real-time scheduling: Framework, modeling, and algorithms*
free download
papers have shown that the deadlines and periods of tasks in embedded digital control The
instantiation of a load profile should incorporate the knowledge of the workload, and Based on
the scheduling architecture and the performance specifications, a system designer can
DERAF: a high-level aspects framework for distributed embedded real-time systems design
free download
DERAF is an extensible high-level aspects framework based on the aspect orientation conceptual
of aspects to facilitate the handling of timing, performance, distribution, and embedded NFRs
at is described using RT- UML and shows DERAF aspects affecting system elements.
Design considerations for distributed real-time DEVS
free download
YK Cho, BP Zeigler, HJ Cho ,AI and Simulation , 2000 ,acims.arizona.edu
To support the design methodology for real-time embedded systems based on event-based [2]
JS Hong, and TG Kim, Real-time Discrete Event System Specification Formalism [8] BP Zeigler
and J. Kim, Extending the DEVS- Scheme Knowledge-Based Simulation Environment
Modeling real-time systems—Challenges and work directions
free download
These requirements are certainly the most important for advanced real-time systems usually
embedded in mass market products 3.1 Component-Based Modeling To our knowledge, this is
a problem not thoroughly investigated and which cannot be solved by directly transposing
Active software
free download
R Laddaga ,Self-Adaptive Software, 2001 ,Springer
are built to contain knowledge of their operation, and they use that knowledge to evaluate of how
to use introspection; 2. Improving the debug-ability of embedded, very high C3 systems, all have
hierarchical control, gatekeeping barriers, and incur delays based on unnecessary
From organization models to system requirements: a’cooperating agents’ approach
free download
Our contention is that a single conception of agent as embedded in a particular mod- elling
framework allows large amounts of knowledge to be managed along knowledge structuring dimen
at considering banking-by-phone as an alternative to conventional teller-based banking
Modeling time (s)
free download
the available resources (the execution platform) is main concern of real-time embedded system
design. Application elements may be any UML element suitable for modeling an application and
Execution platform elements can be annotated with time information based on logical
OPCAT-a bimodal CASE tool for object-process based system development
free download
ment, intelligent knowledge base querying, and a multi-user version, which enables collaboration
Acknowledgements: The authors would like to ac- knowledge the contribution of many Real-Time
& Embedded Computing Conference,
Specification-Based Prototyping for Embedded Systems’
free download
J Thompson, M Heimdahl, S Miller ,Software Engineering—ESEC/FSE’99, 1999 ,Springer
These ideas are illustrated in Figure 5. 5 Specification-Based Prototyping with Nimbus A general
view of an embedded control system can be seen in inside square of Figure 6. This model consists
of the process, sensors, actuators, and the software controller.
Modular performance analysis and interface-based design for embedded real-time systems
free download
E Wandeler ,2006 ,tik.ee.ethz.ch
system is typically dedicated to a specific application domain, and knowledge about this analysis
results, and that can seamlessly be embedded into an embedded systems’ design same framework
to actively support system design through interface-based design methodologies
CSE PROJECTS