In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. the toolset enables the ...
详细信息
ISBN:
(纸本)9783540694885
In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. the toolset enables the creation of executable specifications with well-defined execution semantics, abstraction mechanisms, and composition semantics. the features of the toolset are demonstrated using an Electronic throttle Controller (ETC) from a major automotive vendor. the TASM toolset is used to analyze the resource consumption resulting from the mode switching logic of the ETC, and to verify the completeness and consistency of the specification.
Fault detection is a fundamental part of passive testing which determines whether a system under test (SUT) is faulty by observing the input/output behavior of the SUT without interfering its normal operations. In thi...
详细信息
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a blind person carrying a Bluetooth-ena...
详细信息
ISBN:
(纸本)1595937676
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a blind person carrying a Bluetooth-enabled cell phone. Although URNA can be used for a number of different applications (e.g., an information kiosk at a shopping mall or public transit information at a bus stop), we concentrate on the challenging case of an urban intersection. Information provided to the user as he or she approaches the intersection includes a description of the intersection topology and real-time notification of the state of the traffic lights. the main FPGA-based control board (NavCon) interfaces with a traffic controller and withthe Bluetooth modules, which are each mounted atop the intersection's pedestrian heads (pedheads) - the lights signaling a pedestrian when to "WALK" or "DON'T WALK". the cell phone software (PedNav), written in Java 2 Micro Edition (J2ME), uses Text-To-Speech (TTS) for presenting the information transmitted by NavCon to the blind user. Copyright 2007 ACM.
Doing changes and adding new requirement to existing softwaresystems, turns their primary architecture and force a huge expenditure. It is time and cost consummating. Today for preventing this problem, the method of ...
详细信息
Doing changes and adding new requirement to existing softwaresystems, turns their primary architecture and force a huge expenditure. It is time and cost consummating. Today for preventing this problem, the method of reengineering is used. One of most known and common kind of reengineering is comparing current architecture with primary architecture or another known suitable sample. the described method in this paper is comparing Globus software architecture with implemented systems under grid. this comparison first reveals the developed softwaresystems weaknesses and then explains incorrect usage of Globus pieces. Finally using the offered implemented sample in this paper, success level of reverse engineering to find problems in developed systems is identified and the offered method will be tested as well.
In this paper, we propose an efficient technique for run-time application mapping onto Network-on-Chip (NoC) platforms with multiple voltage levels. Our technique consists of a region selection algorithm and a heurist...
详细信息
ISBN:
(纸本)9781595938244
In this paper, we propose an efficient technique for run-time application mapping onto Network-on-Chip (NoC) platforms with multiple voltage levels. Our technique consists of a region selection algorithm and a heuristic for run-time application mapping which minimizes the communication energy consumption, while still providing the required performance guarantees. the proposed technique allows for new applications to be easily added to the system platform with minimal inter-processor communication overhead. Moreover, our approach scales very well for large designs. Finally, the experimental results show as much as 50% communication energy savings compared to arbitrary mapping solutions. Copyright 2007 ACM.
this paper proposes an approach to support separation and modularization of crosscutting concerns in multi-agent systems (MAS). Crosscutting concerns are properties that do not align well withthe decomposition criter...
详细信息
ISBN:
(纸本)9783540729877
this paper proposes an approach to support separation and modularization of crosscutting concerns in multi-agent systems (MAS). Crosscutting concerns are properties that do not align well withthe decomposition criteria of the chosen approach and, therefore, cannot be modularized. Aspect-Oriented software Development offers mechanisms to encapsulate such properties in separate modules, the aspects. Aspects are used as abstractions to capture social patterns concerns that cut across functional modules in MAS. To achieve this, we propose a technique to describe social patterns in an aspect-oriented context and a systematic way for using them in MAS design.
the CSDUML 2006 workshop is a continuation of the series regarding development of critical systems using modeling languages. the report summarizes papers presented and discussion at the workshop.
ISBN:
(纸本)9783540694885
the CSDUML 2006 workshop is a continuation of the series regarding development of critical systems using modeling languages. the report summarizes papers presented and discussion at the workshop.
Programmers need tools to help explore large softwaresystems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such exploration. the usefulness of these to...
详细信息
ISBN:
(纸本)9780769528601
Programmers need tools to help explore large softwaresystems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such exploration. the usefulness of these tools has been argued largely on the basis of case studies, small narrowly-focussed experiments, or non-human-based experiments. In this paper we report on a more rigorously controlled study of three specialized software exploration tools in which professional programmers used the tools to plan complex change tasks to a medium-sized code base. We found that the tools had little apparent effect;the effects observed instead appear to be dominated by individual styles and strategies of the programmers and characteristics of the tasks. In addition to presenting the results of the study, this paper introduces the use of two experimental evaluation aids: the NASA Task Load Index (TLX) for assessing task difficulty and distance profiles for assessing the degree to which programmers remain on-track.
Generally, process patterns are considered as patterns capturing reusable development activities, and serve as building blocks for constructing new processes. However, such a definition is not adequate to represent th...
详细信息
Adaptive software needs to select most appropriate solution among multiple ways to accomplish a goal as its environment changes dynamically. this uncertainty of environment and solution makes hard to design adaptive s...
详细信息
Adaptive software needs to select most appropriate solution among multiple ways to accomplish a goal as its environment changes dynamically. this uncertainty of environment and solution makes hard to design adaptive software. Further, diversity of adaptation granularity makes architecture of adaptive software more complicated. Coordination problem between adaptive software is also an important issue. In this paper, we present a service based adaptive software framework which resolves these issues.
暂无评论