-
...to set up the requirements, to specify and to execute small computer based systems (cbs). a 'parallel automaton' is an extended form of...states is also finite. this single notation ('parallel automaton' with private states) can be used to describe in the same way requirements and specifications. more than that, these...
-
...this paper, the authors propose a comprehensive approach to test scheduling in noc-based systems. the proposed scheduling algorithm is based on the use of dedicated routing path that...reduce test application time compared to previous work, and the improved method provides a practical solution to the real-world noc-based-system testing with both preemptive and...
-
...from the software configuration management system and by com- bining dynamic and static verification to reduce the state space to be explored. we also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalabil- ity and precision in a completely automatic way. a case study from the telecommunications...
-
-
-
...with hardware tasks running on a reconfigurable hardware device (fpga). in this work, we consider real-time systems subject to dynamic workloads and whose tasks can be computationally...derived for both the commonly used slotted and 1d area models. finally, the effectiveness of our admission control and relocation strategy is shown through a series of synthetic simulations....
-
...consequences. it is therefore necessary to integrate security requirements into the design of vanets and defend vanet systems against misbehavior, in order to ensure correct and smooth operations of the network. in this paper, we propose a security system for vanets to achieve privacy desired by vehicles and traceability required by law enforcement authorities, in addition to satisfying fundamental security requirements including...
-
...sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the use of those resources, to allow resource providers to host untrusted applications safely, and...example java virtual machine (jvm), to host untrusted applications, and provides the resource consumers a monitoring system, gridcop, to track the progress and correctness of remotely executing jobs...
-
...supercomputer visualization, collabora- tive work, and remote process control) operating over high- performance local, metropolitan, and wide area networks (such as fddi, smds, and b-isdn). this paper describes...tion of efficient protocols on a variety of hardware platforms that offer parallel processing based on shared memory and message passing architectures....
-
...a safety - critical system is a system...