Fig 6 - uploaded by Ramsay G Taylor
Content may be subject to copyright.
Source publication
Many high-integrity software development processes prevent any assumptions about the system hardware, but this makes it impossi-ble to use these techniques on software that must interact with the hard-ware, such as device drivers. This work takes the opposite approach: if the analyst accepts that the analysis will only be valid for a particular tar...
Similar publications
SystemC is the standard in the field of virtual modeling. With the continuous expansion of semiconductor industry, test verification is a very important part in the whole process of semiconductor. Our research is based on the standard SystemC platform, which is very helpful for the early planning and architecture modeling of SOC architecture, as we...
The third generation NetPRL CiNIC co-processor cards were fabricated and partially assembled during Summer 2005. Unfortunately the prototype network processing hardware was incomplete, untested, and could not yet be used by NetPRL project teams as a firmware and software development platform. This project endeavored to prepare the latest CiNIC for...
It is very important to certify the accuracy of non-functional requirements in software development. In this paper, we focus on reliability requirements. We can correctly obtain reliability requirements from software requirements documents by using keywords related to reliability requirements. Retrieved requirements will be checked using a requirem...
This paper is devoted to propose an approach to building a reliable software with using specification based analysis, based on the well-known approach from industrial software developing, BDD (Behaviour-Driven Development), and ontology approach to try modeling requirements for developing software system with further verification tasks.