Add to ORKGWhen porting an existing Operating System on a new architecture it is of major importance to verify its conformity to the specifications. This can be done with the use of specialized Verification Suites that test and verify the behavior of the OS. In this paper we discuss the issues related to the design of Comparative Verification Suite and present the design and implementation of a Comparative Verification Suite for the OSF/1 operating system
Abstract. Many projects frequently uses the “trial and error ” approach for Operating System (OS) po...
Today's military platforms are equipped with variety of sensors and effectors. However, these compon...
The cutting edge in systems development today is in the area of "systems of systems" (SoS) large net...
Abstract. This paper gives a high-level introduction to the topic of formal, interactive, machine-ch...
In current practices of system-on-chip (SoC) design a trend can be observed to integrate more and mo...
This work focuses on the use of functional qualification for measuring the quality of co-verificatio...
The OSEK industrial standard governs the design of embedded real-time operating systems in the autom...
Functional verification requires, among other things, dedicated programming constructs and mechanism...
Hard, machine-supported formal verification of software is at a turning point. Recent years have see...
Tyt. z nagłówka.Bibliogr. s. 587-588.This paper presents a concept of component verification framewo...
This paper presents a concept of component verification framework dedicated to a particular lightwei...
The safety and reliability of automotive systems are becoming a big concern in our daily life. Recen...
The potential dangers from a malfunctioning of information processing systems range from simple loss...
The paper presents a concept of component verification framework dedicated to a particular lightweig...
* Working at system level is attracting increasing interest, as it supports the exploration of sever...
Abstract. Many projects frequently uses the “trial and error ” approach for Operating System (OS) po...
Today's military platforms are equipped with variety of sensors and effectors. However, these compon...
The cutting edge in systems development today is in the area of "systems of systems" (SoS) large net...
Abstract. This paper gives a high-level introduction to the topic of formal, interactive, machine-ch...
In current practices of system-on-chip (SoC) design a trend can be observed to integrate more and mo...
This work focuses on the use of functional qualification for measuring the quality of co-verificatio...
The OSEK industrial standard governs the design of embedded real-time operating systems in the autom...
Functional verification requires, among other things, dedicated programming constructs and mechanism...
Hard, machine-supported formal verification of software is at a turning point. Recent years have see...
Tyt. z nagłówka.Bibliogr. s. 587-588.This paper presents a concept of component verification framewo...
This paper presents a concept of component verification framework dedicated to a particular lightwei...
The safety and reliability of automotive systems are becoming a big concern in our daily life. Recen...
The potential dangers from a malfunctioning of information processing systems range from simple loss...
The paper presents a concept of component verification framework dedicated to a particular lightweig...
* Working at system level is attracting increasing interest, as it supports the exploration of sever...
Abstract. Many projects frequently uses the “trial and error ” approach for Operating System (OS) po...
Today's military platforms are equipped with variety of sensors and effectors. However, these compon...
The cutting edge in systems development today is in the area of "systems of systems" (SoS) large net...