the ever-increasing functionality and the nonfunctional constraints that must be satisfied by embedded systems lead to an enormous growth in the complexity at the system level In this paper we investigate the notion o...
详细信息
ISBN:
(纸本)9780769531328
the ever-increasing functionality and the nonfunctional constraints that must be satisfied by embedded systems lead to an enormous growth in the complexity at the system level In this paper we investigate the notion of cognitive complexity and argue that it is not the embedded system, but the models of the embedded system that must be simple and understandable. the introduction of appropriate levels of abstraction in modeling and the associated concept formation help to reduce the emerging complexity by focusing on the relevant properties and omitting irrelevant detail, thus leading to a simpler representation of the evolving artifact. In the second part of the paper we present examples of basic-level concepts that we find essential in the design of distributed embedded systems and summarize the insights by presenting a set of concise design patterns that support the component-based design of embedded systems.
Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts withthe physical world. this paper presents some challenges for developing distributedreal-time Cyber-Physical...
详细信息
Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts withthe physical world. this paper presents some challenges for developing distributedreal-time Cyber-Physical Systems. the focus is on one particular challenge, namely event modelling in distributedreal-time CPS. A Web-of-things based CPS framework for event handling and processing is proposed. To illustrate the application of the proposed framework, a case study for achieving demand response in a smart home is provided.
Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. the cache is highly associative to track symbolic ob...
详细信息
Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. the cache is highly associative to track symbolic object addresses in the static analysis. Cache lines are organized to hold single objects and individual fields are loaded on a miss. this cache organization is statically analyzable and improves the performance. In this paper we present the design and implementation of the object cache in a uniprocessor and chip-multiprocessor version of the Java processor JOP.
A real-time database is a database in which boththe data and the operations upon the data may have timing constraints. the design of this kind of database requires the introduction of new concepts to modelize both da...
详细信息
ISBN:
(纸本)9780769531328
A real-time database is a database in which boththe data and the operations upon the data may have timing constraints. the design of this kind of database requires the introduction of new concepts to modelize both data structures and the dynamic behavior of the database. In this paper, we propose an UML2.0 profile, entitled UML-RTDB, allowing the design of structural model for a real-time database. One of the main advantages of UML-RTDB is its capacity to take into account real-time database properties through specialized concepts in rigourous, easy and expressive manner.
the proceedings contain 27 papers. the special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, distributed and web applications, Software measurements, For...
ISBN:
(纸本)3540008993
the proceedings contain 27 papers. the special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, distributed and web applications, Software measurements, Formal verification, Analysis and testing and Model integrations and extensions. the topics include: An ontology for software component matching;a description language for composable components;a logical basis for the specification of reconfigurable component-based systems;an overall system design approach doing object-oriented modeling to code-generation for embedded electronic systems;composing specifications of event based applications;a Spatio-Temporal logic for the specification and refinement of mobile systems;spatial security policies for mobile agents in a sentient computing environment;towards UML-based formal specifications of component-based real-time software;modelling recursive calls with UML state diagrams;model-based development of web applications using graphical reaction rules;modular analysis of dataflow process networks;foundations of a weak measurement-theoretic approach to software measurement;an information-based view of representational coupling in object-oriented systems;a temporal approach to specification and verification of pointer data-structures;a program logic for handling java card’s transaction mechanism;automatic model driven animation of SCR specifications;probe mechanism for object-oriented software testing;integration of formal datatypes within state diagrams;towards a natural interoperability between XML and ER diagrams;detecting implied scenarios analyzing non-local branching choices and capturing overlapping, triggered, and preemptive collaborations using MSCs.
Modern intelligent transport systems are large, distributed, and at least partially embedded systems. they raise new challenges through safe design because of their characteristics that are not easily managed informal...
详细信息
Modern intelligent transport systems are large, distributed, and at least partially embedded systems. they raise new challenges through safe design because of their characteristics that are not easily managed informal methods. the purpose of this paper is to set up a methodology that selects appropriate techniques for the modeling and analysis of such systems. Our methodology relies on symmetric nets (formerly known as well formed Petri nets). We make intensive use of this formalism's capabilities to scale up analysis and set up a roadmap for the design of dedicated model checkers
Autonomic Systems on Chip provision VLSI systems withthe capabilities of self-organization, self-healing and self-optimization, thereby allowing them to adapt to their environment and improve their functionality thro...
详细信息
Autonomic Systems on Chip provision VLSI systems withthe capabilities of self-organization, self-healing and self-optimization, thereby allowing them to adapt to their environment and improve their functionality through run-time learning. this paper presents our current status of work on autonomic SoC architectures, beginning with a robust, self-correcting processor data path architecture and progressing to reinforcement machine learning techniques for self-optimization and self-organization at run time. An outlook of our future work and upcoming challenges in regard to autonomic systems on chip is then presented as a basis for discussion at the SORT workshop, and withthe organic computing community in general.
It is usually infeasible to test distributed systems and protocols for dependability, fault-tolerance and performance in the real operation environment. this is attributed to the cost of setting up the hosting distrib...
详细信息
It is usually infeasible to test distributed systems and protocols for dependability, fault-tolerance and performance in the real operation environment. this is attributed to the cost of setting up the hosting distributed environment and the difficulty of controlling such a dynamic environment. the factors are too many and are very dynamic. this paper presents the wide area network emulator for CORBA applications: a general purpose software tool that emulates a distributed networked environment for CORBA middleware and applications and gives the user full control over the emulation environment in addition to the ability to inject network-related faults
As newer software construction paradigms like service-oriented architecture (SOA) are adopted into systems of critical importance, it becomes imperative that technology and design artifacts exist that can be utilized ...
详细信息
As newer software construction paradigms like service-oriented architecture (SOA) are adopted into systems of critical importance, it becomes imperative that technology and design artifacts exist that can be utilized to raise the resiliency and protection of such systems to a level where they can withstand sustained attacks from well-motivated adversaries. In this paper we describe a sampling of innovative services and mechanisms that are designed for the protection of systems that are based on service-oriented architectures.
暂无评论