In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of precondition...
详细信息
In this paper we describe a method for simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. Test sequence generation is based on traversal of FSM constructed automatically from specifications and test coverage definition. We have successfully applied the method to several units of the industrial MIPS64-compatible microprocessor.
The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle Un...
详细信息
ISBN:
(纸本)9781605580760
The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle University and City University of London, UK and Åbo Akademi University, Turku, Finland. The state-of-the-art, completed work as well as the next steps of the development of master and doctoral courses for the specialty in critical software engineering, computer systems and networks are described. The inputs from each of the European consortium members are presented. Copyright 2008 ACM.
We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the stand...
详细信息
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale case study. The goal of this refactori...
详细信息
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale case study. The goal of this refactoring of the system was to provide a proof-of-concept implementation of how such an aspect-oriented solution can improve the modularity and the extensibility of the business rule implementation. This paper focusses on the approach taken in refactoring the system and the difficulties of integrating the aspect solution into the build process.
We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the stand...
详细信息
We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the standard execution models fork/join and SPMD. Based on program analysis the hybrid model adapts itself to one or the other on the granularity of individual instructions. We outline compilation techniques that systematically derive the organization of parallel code from data flow characteristics aiming at the reduction of execution mode switches in general and synchronization/communication requirements in particular. Experiments based on a prototype implementation show the effectiveness of the hybrid execution model for reducing parallel overhead.
In this tutorial, we will demonstrate how to gradually incorporate video games into an existing CS1/CS2 class using our 'XNA Game-Themed Assignments' (XGAs). We will talk briefly about the technical details of...
In this tutorial, we will demonstrate how to gradually incorporate video games into an existing CS1/CS2 class using our 'XNA Game-Themed Assignments' (XGAs). We will talk briefly about the technical details of the C#-based XNA framework, with particular focus on our XnaAssignmentBase class, and then examine several of our 'XGA modules' in detail. These modules are designed to be easily reused by other faculty, and the authors will answer questions in order to facilitate their use. Each module targets a particular topic in the CS1/CS2 curriculum, and includes a variety of materials for both instructors and students. We will finish with a discussion of tricks we've learned from incorporating games into our classes in this fashion.
The paper studies the systematic top-down design of an asynchronous sender component as part of a software architecture. The receiver pulls messages from the sender by transmitting the number of messages requested. Th...
详细信息
ISBN:
(纸本)9780769527765
The paper studies the systematic top-down design of an asynchronous sender component as part of a software architecture. The receiver pulls messages from the sender by transmitting the number of messages requested. The design refines the communication-oriented input/output behaviour specified by a stream processing function into an implementation by a state transition machine. The development consists of three major transformation steps, viz. the differentiation of the stream processing function, the state introduction using a history abstraction, and the implementation of the abstract state space. The application explicates general methods for the formal design of interactive components in a functional setting.
The external behaviour of an interactive component refers to the communication histories on the input and output channels. The component's implementation employs an internal state where inputs effect output and an...
详细信息
ISBN:
(纸本)9783540708803
The external behaviour of an interactive component refers to the communication histories on the input and output channels. The component's implementation employs an internal state where inputs effect output and an update of the state. The black-box view is modelled by a stream processing function from input to output streams, the glass-box view by a state transition machine. We present a formal method how to implement a stream processing function with several arguments by a state transition machine in a correctness preserving way. The transformation involves two important steps, called differentiation and history abstraction. The differentiation localizes the effect of a single input on one of the input channels wrt. the previous input histories. The history abstraction introduces states as congruence classes of input histories. We extend our previous results from interactive components with one input channel to components with several input channels. The generalization employs a 'diamond property' for states and outputs which ensures the confluence of the resulting state transition system.
This paper presents a formal method how to transform the structured signature of an algebraic specification into a collection of object-oriented class signatures. We discuss possible design decisions and formalize the...
详细信息
暂无评论