Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542804551> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1542804551 abstract "This paper reports an experience with the modeling, verification and concurrent implementation of a medium-sized process control problem. The case study was proposed by Forschungszentrum Informatik, Karlsruhe in 1993 in order to promote the usage of formal methods in industry. It concerns an industrial robotics application that processes metal plates. A top-down design approach is followed where successive CCS and Promela specification levels of decreasing abstraction are considered, each layer little by little allows verification of parts of the security requirements thus providing a mean for coping with state explosion. The level refinements are checked with the Concurrency Workbench a CCS-based tool. Safety and liveness requirements are expressed in linear temporal logic and checked with SPIN. From the ultimate specification, two different implementations are derived. The first one is in Synchronous C++, a concurrent extension of C++ and the second in Regis/Darwin. This application shows that SPIN is also quite appropriate for developing control process problem from scratch and with requirements to be checked in mind. It appeared clearly that the specification phase was very important for obtaining a satisfactory specification from which a well behaved implementation was derived easily in a few days." @default.
- W1542804551 created "2016-06-24" @default.
- W1542804551 creator A5004944937 @default.
- W1542804551 date "2002-01-01" @default.
- W1542804551 modified "2023-10-04" @default.
- W1542804551 title "Process Control Design Using SPIN" @default.
- W1542804551 cites W1489800325 @default.
- W1542804551 cites W1503973138 @default.
- W1542804551 cites W1506588809 @default.
- W1542804551 cites W1513360256 @default.
- W1542804551 cites W1875492031 @default.
- W1542804551 cites W1971107784 @default.
- W1542804551 cites W2014100935 @default.
- W1542804551 cites W2093916942 @default.
- W1542804551 cites W2126793385 @default.
- W1542804551 cites W2134342348 @default.
- W1542804551 cites W2627447133 @default.
- W1542804551 hasPublicationYear "2002" @default.
- W1542804551 type Work @default.
- W1542804551 sameAs 1542804551 @default.
- W1542804551 citedByCount "1" @default.
- W1542804551 crossrefType "journal-article" @default.
- W1542804551 hasAuthorship W1542804551A5004944937 @default.
- W1542804551 hasConcept C110251889 @default.
- W1542804551 hasConcept C115903868 @default.
- W1542804551 hasConcept C116253237 @default.
- W1542804551 hasConcept C15569618 @default.
- W1542804551 hasConcept C193702766 @default.
- W1542804551 hasConcept C199360897 @default.
- W1542804551 hasConcept C2776329536 @default.
- W1542804551 hasConcept C41008148 @default.
- W1542804551 hasConcept C75606506 @default.
- W1542804551 hasConceptScore W1542804551C110251889 @default.
- W1542804551 hasConceptScore W1542804551C115903868 @default.
- W1542804551 hasConceptScore W1542804551C116253237 @default.
- W1542804551 hasConceptScore W1542804551C15569618 @default.
- W1542804551 hasConceptScore W1542804551C193702766 @default.
- W1542804551 hasConceptScore W1542804551C199360897 @default.
- W1542804551 hasConceptScore W1542804551C2776329536 @default.
- W1542804551 hasConceptScore W1542804551C41008148 @default.
- W1542804551 hasConceptScore W1542804551C75606506 @default.
- W1542804551 hasLocation W15428045511 @default.
- W1542804551 hasOpenAccess W1542804551 @default.
- W1542804551 hasPrimaryLocation W15428045511 @default.
- W1542804551 hasRelatedWork W1152386366 @default.
- W1542804551 hasRelatedWork W1479987225 @default.
- W1542804551 hasRelatedWork W185259000 @default.
- W1542804551 hasRelatedWork W1986558577 @default.
- W1542804551 hasRelatedWork W2002219805 @default.
- W1542804551 hasRelatedWork W2004483824 @default.
- W1542804551 hasRelatedWork W2060070465 @default.
- W1542804551 hasRelatedWork W2105182891 @default.
- W1542804551 hasRelatedWork W2107840120 @default.
- W1542804551 hasRelatedWork W2119245890 @default.
- W1542804551 hasRelatedWork W2121485274 @default.
- W1542804551 hasRelatedWork W2157120282 @default.
- W1542804551 hasRelatedWork W2402056577 @default.
- W1542804551 hasRelatedWork W2509521284 @default.
- W1542804551 hasRelatedWork W2963177068 @default.
- W1542804551 hasRelatedWork W3083826291 @default.
- W1542804551 hasRelatedWork W342103818 @default.
- W1542804551 hasRelatedWork W1863342178 @default.
- W1542804551 hasRelatedWork W2416062364 @default.
- W1542804551 hasRelatedWork W3045896271 @default.
- W1542804551 isParatext "false" @default.
- W1542804551 isRetracted "false" @default.
- W1542804551 magId "1542804551" @default.
- W1542804551 workType "article" @default.