Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100397729> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2100397729 endingPage "127618" @default.
- W2100397729 startingPage "127618" @default.
- W2100397729 abstract "Programmable logic controllers (PLCs) are complex embedded systems that are widely used in industry. This paper presents a component-based modeling and validation method for PLC systems using the behavior-interaction-priority (BIP) framework. We designed a general system architecture and a component library for a type of device control system. The control software and hardware of the environment were all modeled as BIP components. System requirements were formalized as monitors. Simulation was carried out to validate the system model. A realistic example from industry of the gates control system was employed to illustrate our strategies. We found a couple of design errors during the simulation, which helped us to improve the dependability of the original systems. The results of experiment demonstrated the effectiveness of our approach." @default.
- W2100397729 created "2016-06-24" @default.
- W2100397729 creator A5009380236 @default.
- W2100397729 creator A5071579968 @default.
- W2100397729 creator A5075600106 @default.
- W2100397729 creator A5082437433 @default.
- W2100397729 creator A5087366755 @default.
- W2100397729 date "2014-01-01" @default.
- W2100397729 modified "2023-10-12" @default.
- W2100397729 title "A Component-Based Modeling and Validation Method for PLC Systems" @default.
- W2100397729 cites W1962072139 @default.
- W2100397729 cites W2036983909 @default.
- W2100397729 cites W2048903680 @default.
- W2100397729 cites W2076997912 @default.
- W2100397729 cites W2163064422 @default.
- W2100397729 cites W38701583 @default.
- W2100397729 cites W953200356 @default.
- W2100397729 doi "https://doi.org/10.1155/2014/127618" @default.
- W2100397729 hasPublicationYear "2014" @default.
- W2100397729 type Work @default.
- W2100397729 sameAs 2100397729 @default.
- W2100397729 citedByCount "4" @default.
- W2100397729 countsByYear W21003977292018 @default.
- W2100397729 countsByYear W21003977292019 @default.
- W2100397729 countsByYear W21003977292020 @default.
- W2100397729 countsByYear W21003977292021 @default.
- W2100397729 crossrefType "journal-article" @default.
- W2100397729 hasAuthorship W2100397729A5009380236 @default.
- W2100397729 hasAuthorship W2100397729A5071579968 @default.
- W2100397729 hasAuthorship W2100397729A5075600106 @default.
- W2100397729 hasAuthorship W2100397729A5082437433 @default.
- W2100397729 hasAuthorship W2100397729A5087366755 @default.
- W2100397729 hasBestOaLocation W21003977291 @default.
- W2100397729 hasConcept C110963975 @default.
- W2100397729 hasConcept C111919701 @default.
- W2100397729 hasConcept C115903868 @default.
- W2100397729 hasConcept C119599485 @default.
- W2100397729 hasConcept C121332964 @default.
- W2100397729 hasConcept C127413603 @default.
- W2100397729 hasConcept C133731056 @default.
- W2100397729 hasConcept C149635348 @default.
- W2100397729 hasConcept C154945302 @default.
- W2100397729 hasConcept C168167062 @default.
- W2100397729 hasConcept C17500928 @default.
- W2100397729 hasConcept C199360897 @default.
- W2100397729 hasConcept C200601418 @default.
- W2100397729 hasConcept C201995342 @default.
- W2100397729 hasConcept C2775924081 @default.
- W2100397729 hasConcept C2777904410 @default.
- W2100397729 hasConcept C37374048 @default.
- W2100397729 hasConcept C40071531 @default.
- W2100397729 hasConcept C41008148 @default.
- W2100397729 hasConcept C77019957 @default.
- W2100397729 hasConcept C97355855 @default.
- W2100397729 hasConceptScore W2100397729C110963975 @default.
- W2100397729 hasConceptScore W2100397729C111919701 @default.
- W2100397729 hasConceptScore W2100397729C115903868 @default.
- W2100397729 hasConceptScore W2100397729C119599485 @default.
- W2100397729 hasConceptScore W2100397729C121332964 @default.
- W2100397729 hasConceptScore W2100397729C127413603 @default.
- W2100397729 hasConceptScore W2100397729C133731056 @default.
- W2100397729 hasConceptScore W2100397729C149635348 @default.
- W2100397729 hasConceptScore W2100397729C154945302 @default.
- W2100397729 hasConceptScore W2100397729C168167062 @default.
- W2100397729 hasConceptScore W2100397729C17500928 @default.
- W2100397729 hasConceptScore W2100397729C199360897 @default.
- W2100397729 hasConceptScore W2100397729C200601418 @default.
- W2100397729 hasConceptScore W2100397729C201995342 @default.
- W2100397729 hasConceptScore W2100397729C2775924081 @default.
- W2100397729 hasConceptScore W2100397729C2777904410 @default.
- W2100397729 hasConceptScore W2100397729C37374048 @default.
- W2100397729 hasConceptScore W2100397729C40071531 @default.
- W2100397729 hasConceptScore W2100397729C41008148 @default.
- W2100397729 hasConceptScore W2100397729C77019957 @default.
- W2100397729 hasConceptScore W2100397729C97355855 @default.
- W2100397729 hasFunder F4320321001 @default.
- W2100397729 hasLocation W21003977291 @default.
- W2100397729 hasLocation W21003977292 @default.
- W2100397729 hasOpenAccess W2100397729 @default.
- W2100397729 hasPrimaryLocation W21003977291 @default.
- W2100397729 hasRelatedWork W1993066969 @default.
- W2100397729 hasRelatedWork W1996916941 @default.
- W2100397729 hasRelatedWork W202989931 @default.
- W2100397729 hasRelatedWork W2043187379 @default.
- W2100397729 hasRelatedWork W2100397729 @default.
- W2100397729 hasRelatedWork W2376242025 @default.
- W2100397729 hasRelatedWork W2615607975 @default.
- W2100397729 hasRelatedWork W2790622811 @default.
- W2100397729 hasRelatedWork W3155069932 @default.
- W2100397729 hasRelatedWork W4256621493 @default.
- W2100397729 hasVolume "6" @default.
- W2100397729 isParatext "false" @default.
- W2100397729 isRetracted "false" @default.
- W2100397729 magId "2100397729" @default.
- W2100397729 workType "article" @default.