Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131587874> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2131587874 endingPage "294" @default.
- W2131587874 startingPage "287" @default.
- W2131587874 abstract "NuSCR is a formal specification language to document requirements for real-time embedded software with nuclear engineering applications in mind. Domain experts actively participated in selecting how to best represent various aspects. It uses tabular notations to specify required computations and automata to document state- or time-dependent behavior. As programmable logic controllers (PLCs) are widely used to implement real-time embedded software, synthesis of PLC code from a formal specification is desirable if transformation rules can be rigorously defined. In addition to improved productivity, results of safety analysis performed on requirements remain valid. In this paper, we demonstrate how NuSCR specification can be translated into semantically equivalent function block diagram (FBD) code. The process, except the initial phase where user provides information on missing or implicit details, is automated. Since executable code can be automatically generated using CASE tools from FBD, much of software development is automated. Proposed technique is currently being used in developing reactor protection system (RPS) for nuclear power plants in Korea, and experience to date has been positive. We demonstrate the proposed approach using the fixed set-point rising trip which is one of the most complex trip logics included in the RPS." @default.
- W2131587874 created "2016-06-24" @default.
- W2131587874 creator A5016209326 @default.
- W2131587874 creator A5022851404 @default.
- W2131587874 creator A5028701896 @default.
- W2131587874 creator A5084114628 @default.
- W2131587874 date "2005-02-01" @default.
- W2131587874 modified "2023-09-26" @default.
- W2131587874 title "Synthesis of FBD-based PLC design from NuSCR formal specification" @default.
- W2131587874 cites W1482434736 @default.
- W2131587874 cites W2164261312 @default.
- W2131587874 cites W2181166485 @default.
- W2131587874 cites W2183999649 @default.
- W2131587874 doi "https://doi.org/10.1016/j.ress.2004.05.005" @default.
- W2131587874 hasPublicationYear "2005" @default.
- W2131587874 type Work @default.
- W2131587874 sameAs 2131587874 @default.
- W2131587874 citedByCount "18" @default.
- W2131587874 countsByYear W21315878742013 @default.
- W2131587874 countsByYear W21315878742014 @default.
- W2131587874 countsByYear W21315878742018 @default.
- W2131587874 crossrefType "journal-article" @default.
- W2131587874 hasAuthorship W2131587874A5016209326 @default.
- W2131587874 hasAuthorship W2131587874A5022851404 @default.
- W2131587874 hasAuthorship W2131587874A5028701896 @default.
- W2131587874 hasAuthorship W2131587874A5084114628 @default.
- W2131587874 hasConcept C102780508 @default.
- W2131587874 hasConcept C111919701 @default.
- W2131587874 hasConcept C115903868 @default.
- W2131587874 hasConcept C116253237 @default.
- W2131587874 hasConcept C160145156 @default.
- W2131587874 hasConcept C199360897 @default.
- W2131587874 hasConcept C201677973 @default.
- W2131587874 hasConcept C2777904410 @default.
- W2131587874 hasConcept C37374048 @default.
- W2131587874 hasConcept C41008148 @default.
- W2131587874 hasConcept C52913732 @default.
- W2131587874 hasConcept C529173508 @default.
- W2131587874 hasConceptScore W2131587874C102780508 @default.
- W2131587874 hasConceptScore W2131587874C111919701 @default.
- W2131587874 hasConceptScore W2131587874C115903868 @default.
- W2131587874 hasConceptScore W2131587874C116253237 @default.
- W2131587874 hasConceptScore W2131587874C160145156 @default.
- W2131587874 hasConceptScore W2131587874C199360897 @default.
- W2131587874 hasConceptScore W2131587874C201677973 @default.
- W2131587874 hasConceptScore W2131587874C2777904410 @default.
- W2131587874 hasConceptScore W2131587874C37374048 @default.
- W2131587874 hasConceptScore W2131587874C41008148 @default.
- W2131587874 hasConceptScore W2131587874C52913732 @default.
- W2131587874 hasConceptScore W2131587874C529173508 @default.
- W2131587874 hasIssue "2" @default.
- W2131587874 hasLocation W21315878741 @default.
- W2131587874 hasOpenAccess W2131587874 @default.
- W2131587874 hasPrimaryLocation W21315878741 @default.
- W2131587874 hasRelatedWork W1543518602 @default.
- W2131587874 hasRelatedWork W155175435 @default.
- W2131587874 hasRelatedWork W1559579193 @default.
- W2131587874 hasRelatedWork W1638887518 @default.
- W2131587874 hasRelatedWork W1964436108 @default.
- W2131587874 hasRelatedWork W2018123953 @default.
- W2131587874 hasRelatedWork W2047524021 @default.
- W2131587874 hasRelatedWork W2170015205 @default.
- W2131587874 hasRelatedWork W2378785653 @default.
- W2131587874 hasRelatedWork W67477776 @default.
- W2131587874 hasVolume "87" @default.
- W2131587874 isParatext "false" @default.
- W2131587874 isRetracted "false" @default.
- W2131587874 magId "2131587874" @default.
- W2131587874 workType "article" @default.