Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development step...
详细信息
ISBN:
(纸本)0769528848
Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps. Here we define feature refinement to overcome some limitations of refinement and show its usefulness by applying it to examples taken from the literature. Using partial relations as a canonical state-based semantics and labelled transition systems as a canonical event-based semantics, we define functions formally linking the state- and event-based operational semantics. We can then use this link to move notions of refinement between the event- and state-based worlds. An advantage of this abstract approach is that it is not restricted to a specific syntax or even a specific interpretation of the operational semantics.
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallel...
详细信息
ISBN:
(纸本)9783642233906
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallelism to the requirements. Such requirements engineering also results in direct and automatic translation to implementation, minimising software faults. We present our method and illustrated with a classical example. We also compare our approach with other state diagram methods, as well as Petri nets and Behavior Trees.
Hardware-software co-synthesis of embedded computersystems involves the partitioning of a system specification into hardware and software modules to meet various system requirements. High-performance embedded compute...
详细信息
ISBN:
(纸本)9781424400379
Hardware-software co-synthesis of embedded computersystems involves the partitioning of a system specification into hardware and software modules to meet various system requirements. High-performance embedded computers typically incorporate heterogeneous multiple processing elements. In this paper, we present an approach to co-synthesis of high performance embedded systems targeting fault tolerant topologies. Our approach supports the following features: 1) input in the form of an acyclic periodic task graph with real-time constraints, 2) pipelining of task graphs, 3) use of a heterogeneous set of processing elements, 4) fault tolerance by a newly developed group based fault tolerance technique. We attempt to minimize the communication overhead while preserving regular topology computersystems.
Incremental attribute learning (IAL) often gradually imports and trains pattern features in one or more size, which makes feature ordering become a novel preprocessing work in IAL process. In previous studies, the cal...
详细信息
the use of VHS video technology as a medium for program documentation is shown to offer some compelling advantages. these include reduced drudgery, ease of motivation of the documenters, low cost, and appeal of the pr...
详细信息
ISBN:
(纸本)0818620269
the use of VHS video technology as a medium for program documentation is shown to offer some compelling advantages. these include reduced drudgery, ease of motivation of the documenters, low cost, and appeal of the product to its target audience. A case study concerning the use of video for program documentation is presented. It is believed that many other areas of softwareengineering could also benefit from the application of video technology to the documentation process.
Fault injection testing (FIT) approach validates system's fault tolerance mechanism by actively injecting software faults into the targeted areas in the system in order to accelerate its failure rate. this highly ...
详细信息
the most frequent causes of traffic accidents are exhaustion and drowsiness. the number of traffic accidents caused by sleepy and fatigued drivers rises every year. this suggested study introduces a computer - aided d...
详细信息
Service-Oriented Architecture (SOA) is an evolving machine communication process widely deployed and likely to gain further adoption with Web 2.0 implementation. SOA allows loosely coupled operations to communicate in...
详细信息
ISBN:
(纸本)9789536114931
Service-Oriented Architecture (SOA) is an evolving machine communication process widely deployed and likely to gain further adoption with Web 2.0 implementation. SOA allows loosely coupled operations to communicate information from machines through software to end-users in a highly mobile world. SOA is dependent upon Representational State Transfer (REST) architecture and implementers face formidable challenges with governance and management in regulated environments. SOA is a system-of-systemssoftware communication process requiring strict management and governance since it links development directly to business operations. Management of the relationships and dependencies of SOA through the application of configuration management is possible. People manage, systems monitor and record. An innovative approach is presented to apply the activities of an IEEE software Configuration Management Plan (SCMP) to an SOA environment living a constant development life cycle to control change and facilitate governance utilizing engineering fundamentals.
the Long Term Evolution (LTE) and Wireless Local Area Network (WLAN) are different broadband communication systems. However, a microstrip antenna can use simultaneously for both. this paper discussed a rectangular pat...
详细信息
暂无评论