FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094328277> ?p ?o ?g. }

• W3094328277 endingPage "103328" @default.
• W3094328277 startingPage "103328" @default.
• W3094328277 abstract "To improve the design, Verification and Validation phases of Power Supply Equipment of the Electric Lines control systems at French Railway Company (SNCF for Société nationale des chemins de fer français), this paper proposes an integrated methodology, for automatic generation, formal verification and implementation of safe Programmable Logic Control (PLC) programs. The main objective is to save time and to improve the “overloaded” workflow of systems engineers. This methodology is compliant with the traditional engineering workflow. The first phase of the methodology focuses on the automatic generation of PLC programs, wiring diagrams, and test-based recipe books, based on reusing and adapting similar models of existing projects to the new specifications (corresponding to functional and safety requirements). The second phase is related to the application of formal verification and control synthesis techniques to guarantee the safety of the control installation. The first phase of the methodology has been successfully deployed at SNCF. The second phase is currently being evaluated." @default.
• W3094328277 created "2020-10-29" @default.
• W3094328277 creator A5021605624 @default.
• W3094328277 creator A5022052578 @default.
• W3094328277 creator A5030485801 @default.
• W3094328277 creator A5052381960 @default.
• W3094328277 creator A5054131335 @default.
• W3094328277 creator A5085823749 @default.
• W3094328277 date "2020-12-01" @default.
• W3094328277 modified "2023-10-18" @default.
• W3094328277 title "A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems" @default.
• W3094328277 cites W1507306347 @default.
• W3094328277 cites W175317719 @default.
• W3094328277 cites W1930912723 @default.
• W3094328277 cites W1974029402 @default.
• W3094328277 cites W1979349468 @default.
• W3094328277 cites W2000947342 @default.
• W3094328277 cites W2002839403 @default.
• W3094328277 cites W2006267758 @default.
• W3094328277 cites W2012410349 @default.
• W3094328277 cites W2033590510 @default.
• W3094328277 cites W2063193040 @default.
• W3094328277 cites W2121121513 @default.
• W3094328277 cites W2166659009 @default.
• W3094328277 cites W2169410108 @default.
• W3094328277 cites W2169776528 @default.
• W3094328277 cites W2263584683 @default.
• W3094328277 cites W2331521708 @default.
• W3094328277 cites W2342003104 @default.
• W3094328277 cites W2443771542 @default.
• W3094328277 cites W2600920262 @default.
• W3094328277 cites W2799692130 @default.
• W3094328277 cites W2806407430 @default.
• W3094328277 cites W2962847675 @default.
• W3094328277 cites W4296471858 @default.
• W3094328277 doi "https://doi.org/10.1016/j.compind.2020.103328" @default.
• W3094328277 hasPublicationYear "2020" @default.
• W3094328277 type Work @default.
• W3094328277 sameAs 3094328277 @default.
• W3094328277 citedByCount "10" @default.
• W3094328277 countsByYear W30943282772021 @default.
• W3094328277 countsByYear W30943282772022 @default.
• W3094328277 countsByYear W30943282772023 @default.
• W3094328277 crossrefType "journal-article" @default.
• W3094328277 hasAuthorship W3094328277A5021605624 @default.
• W3094328277 hasAuthorship W3094328277A5022052578 @default.
• W3094328277 hasAuthorship W3094328277A5030485801 @default.
• W3094328277 hasAuthorship W3094328277A5052381960 @default.
• W3094328277 hasAuthorship W3094328277A5054131335 @default.
• W3094328277 hasAuthorship W3094328277A5085823749 @default.
• W3094328277 hasBestOaLocation W30943282771 @default.
• W3094328277 hasConcept C111498074 @default.
• W3094328277 hasConcept C111919701 @default.
• W3094328277 hasConcept C115903868 @default.
• W3094328277 hasConcept C127413603 @default.
• W3094328277 hasConcept C133731056 @default.
• W3094328277 hasConcept C149635348 @default.
• W3094328277 hasConcept C154945302 @default.
• W3094328277 hasConcept C167123822 @default.
• W3094328277 hasConcept C177212765 @default.
• W3094328277 hasConcept C199360897 @default.
• W3094328277 hasConcept C200601418 @default.
• W3094328277 hasConcept C201995342 @default.
• W3094328277 hasConcept C206588197 @default.
• W3094328277 hasConcept C2775924081 @default.
• W3094328277 hasConcept C37374048 @default.
• W3094328277 hasConcept C41008148 @default.
• W3094328277 hasConcept C548081761 @default.
• W3094328277 hasConcept C75606506 @default.
• W3094328277 hasConcept C77088390 @default.
• W3094328277 hasConceptScore W3094328277C111498074 @default.
• W3094328277 hasConceptScore W3094328277C111919701 @default.
• W3094328277 hasConceptScore W3094328277C115903868 @default.
• W3094328277 hasConceptScore W3094328277C127413603 @default.
• W3094328277 hasConceptScore W3094328277C133731056 @default.
• W3094328277 hasConceptScore W3094328277C149635348 @default.
• W3094328277 hasConceptScore W3094328277C154945302 @default.
• W3094328277 hasConceptScore W3094328277C167123822 @default.
• W3094328277 hasConceptScore W3094328277C177212765 @default.
• W3094328277 hasConceptScore W3094328277C199360897 @default.
• W3094328277 hasConceptScore W3094328277C200601418 @default.
• W3094328277 hasConceptScore W3094328277C201995342 @default.
• W3094328277 hasConceptScore W3094328277C206588197 @default.
• W3094328277 hasConceptScore W3094328277C2775924081 @default.
• W3094328277 hasConceptScore W3094328277C37374048 @default.
• W3094328277 hasConceptScore W3094328277C41008148 @default.
• W3094328277 hasConceptScore W3094328277C548081761 @default.
• W3094328277 hasConceptScore W3094328277C75606506 @default.
• W3094328277 hasConceptScore W3094328277C77088390 @default.
• W3094328277 hasLocation W30943282771 @default.
• W3094328277 hasLocation W30943282772 @default.
• W3094328277 hasLocation W30943282773 @default.
• W3094328277 hasLocation W30943282774 @default.
• W3094328277 hasLocation W30943282775 @default.
• W3094328277 hasOpenAccess W3094328277 @default.
• W3094328277 hasPrimaryLocation W30943282771 @default.
• W3094328277 hasRelatedWork W1524361563 @default.
• W3094328277 hasRelatedWork W1981464892 @default.

• next