The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
نویسندگان
چکیده
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various types of OR-join semantics are used to describe hardware systems composed of concurrent, cooperating hardware components. It is shown that synthesizable VHDL specifications can be created that model the semantics of these constraint combination formalisms for hardware systems. Using common semantics for systems in both hardware and software domains will help to unify system description across domain boundaries and aid in developing implementation independent system descriptions.
منابع مشابه
More Accurate Semantics Defining Constraint Combination for Software Systems Having Client-Server Relationships
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types of software systems, the combination of the precedence constraints must support the dynamic job structure of the system. Existing formalisms do not offer this support while accurately representing the desired behavior...
متن کاملA Survey and Analysis of Existing Constraint Combination Formalisms and Their Applications to Software Systems Having Client-Server Relationships
Task graph representations of complex software systems often require the specification of multiple constraints upon the execution of a single task. In this paper, existing formalisms associated with this type of specification and their underlying execution models are discussed. These formalisms are analyzed from different structural levels of the software system to identify their limitations in...
متن کاملCompiling SHIM
Embedded systems demand concurrency for supporting simultaneous actions in their environment and parallel hardware. Although most concurrent programming formalisms are prone to races and nondeterminism, some, such as our shim (software/hardware integration medium) language, avoid them by design. In particular, the behavior of shim programs is scheduling-independent, meaning the I/O behavior of ...
متن کاملExact Mixed Integer Programming for Integrated Scheduling and Process Planning in Flexible Environment
This paper presented a mixed integer programming for integrated scheduling and process planning. The presented process plan included some orders with precedence relations similar to Multiple Traveling Salesman Problem (MTSP), which was categorized as an NP-hard problem. These types of problems are also called advanced planning because of simultaneously determining the appropriate sequence and m...
متن کاملHardware/Software Co-Design - Proceedings of the IEEE
Most electronic systems, whether self-contained or embedded, have a predominant digital component consisting of a hardware platform which executes software application programs. Hardware/software co-design means meeting system-level objectives by exploiting the synergism of hardware and software through their concurrent design. Co-design problems have different flavors according to the applicat...
متن کامل