Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970554654> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W1970554654 abstract "Modern copying machines are versatile and complex systems in which embedded software plays an essential role. The progress towards faster and more stable machines that can satisfy ever growing customers' needs, places strict requirements on the efficiency and quality of such software. In order to meet these requirements, the software should be well-designed and free of errors. Using modern formal verification techniques, software designs can be checked for errors and deadlocks so that their quality can be assessed and improved at an early stage of the development process.In this paper, we analyze the embedded software of an Automatic Document Feeder (ADF). ADFs are important components of copier machines. The ADF studied here is a prototype developed by Oce-Technologies B.V., a company that develops professional printing systems. We construct a model of the ADF in μcrl, a process algebra-based specification language, and express the system's requirements in the modal μ-calculus. Next, we use the μcrl and Cadp tool sets to check whether the system meets its requirements. This analysis reveals important errors in the ADF and we propose solutions to these problems. Also, we show that some requirements that engineers assumed to be valid, are too strict. We present slightly weaker versions of these requirements and show that these do hold. In this sense, in addition to finding errors in the ADF, our analysis also led to a better understanding of the behaviour the system." @default.
- W1970554654 created "2016-06-24" @default.
- W1970554654 creator A5025878712 @default.
- W1970554654 creator A5054574154 @default.
- W1970554654 date "2007-03-11" @default.
- W1970554654 modified "2023-10-14" @default.
- W1970554654 title "Analysis and verification of an automatic document feeder" @default.
- W1970554654 cites W2015640848 @default.
- W1970554654 cites W2026591657 @default.
- W1970554654 cites W2032732582 @default.
- W1970554654 cites W2103128566 @default.
- W1970554654 cites W2121372686 @default.
- W1970554654 cites W2126395320 @default.
- W1970554654 cites W2163659692 @default.
- W1970554654 cites W4210244182 @default.
- W1970554654 cites W4249538237 @default.
- W1970554654 doi "https://doi.org/10.1145/1244002.1244324" @default.
- W1970554654 hasPublicationYear "2007" @default.
- W1970554654 type Work @default.
- W1970554654 sameAs 1970554654 @default.
- W1970554654 citedByCount "5" @default.
- W1970554654 countsByYear W19705546542013 @default.
- W1970554654 crossrefType "proceedings-article" @default.
- W1970554654 hasAuthorship W1970554654A5025878712 @default.
- W1970554654 hasAuthorship W1970554654A5054574154 @default.
- W1970554654 hasConcept C199360897 @default.
- W1970554654 hasConcept C41008148 @default.
- W1970554654 hasConceptScore W1970554654C199360897 @default.
- W1970554654 hasConceptScore W1970554654C41008148 @default.
- W1970554654 hasLocation W19705546541 @default.
- W1970554654 hasOpenAccess W1970554654 @default.
- W1970554654 hasPrimaryLocation W19705546541 @default.
- W1970554654 hasRelatedWork W1527862632 @default.
- W1970554654 hasRelatedWork W2109507516 @default.
- W1970554654 hasRelatedWork W2112962394 @default.
- W1970554654 hasRelatedWork W2118300983 @default.
- W1970554654 hasRelatedWork W2135396778 @default.
- W1970554654 hasRelatedWork W2382501300 @default.
- W1970554654 hasRelatedWork W2740990710 @default.
- W1970554654 hasRelatedWork W3137189469 @default.
- W1970554654 hasRelatedWork W4235530921 @default.
- W1970554654 hasRelatedWork W4243252198 @default.
- W1970554654 isParatext "false" @default.
- W1970554654 isRetracted "false" @default.
- W1970554654 magId "1970554654" @default.
- W1970554654 workType "article" @default.