Matches in SemOpenAlex for { <https://semopenalex.org/work/W133896192> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W133896192 abstract "We present the specification and verification of the automatic circuit-breaking behavior of an electric power transformer station using the synchronous approach to reactive real-time systems, and particularly the Signal language. The synchronous languages have a mathematical model supporting the various phases of the development of a control system: specification, verification, simulation, code generation, and implementation. Their semantics are at the base of the various tools dedicated to each phase and integrated into homogeneous design environments. The methodology associated with the data flow language Signal is demonstrated on the example of the functional description of a medium tension power transformer station and the specification of its automatic behavior upon the occurrence of an electrical default. The specification of the complex hierarchical, state-based and preemptive behavior is made in SignalGTi, an extension of Signal with the notions of time intervals and preemptive tasks. For the validation of the specification, a graphical simulator is generated using the execution environment for Signal. Properties required by the application are proved to hold on the specification of the controller, using the proof method associated with Signal." @default.
- W133896192 created "2016-06-24" @default.
- W133896192 creator A5018055868 @default.
- W133896192 creator A5048906802 @default.
- W133896192 creator A5053628603 @default.
- W133896192 date "1995-01-01" @default.
- W133896192 modified "2023-09-23" @default.
- W133896192 title "Specifying and verifying a transformer station in Signal and SignalGTi" @default.
- W133896192 hasPublicationYear "1995" @default.
- W133896192 type Work @default.
- W133896192 sameAs 133896192 @default.
- W133896192 citedByCount "1" @default.
- W133896192 crossrefType "journal-article" @default.
- W133896192 hasAuthorship W133896192A5018055868 @default.
- W133896192 hasAuthorship W133896192A5048906802 @default.
- W133896192 hasAuthorship W133896192A5053628603 @default.
- W133896192 hasConcept C115903868 @default.
- W133896192 hasConcept C116253237 @default.
- W133896192 hasConcept C119599485 @default.
- W133896192 hasConcept C127413603 @default.
- W133896192 hasConcept C149635348 @default.
- W133896192 hasConcept C165801399 @default.
- W133896192 hasConcept C199360897 @default.
- W133896192 hasConcept C201677973 @default.
- W133896192 hasConcept C41008148 @default.
- W133896192 hasConcept C66322947 @default.
- W133896192 hasConcept C79403827 @default.
- W133896192 hasConcept C84651959 @default.
- W133896192 hasConceptScore W133896192C115903868 @default.
- W133896192 hasConceptScore W133896192C116253237 @default.
- W133896192 hasConceptScore W133896192C119599485 @default.
- W133896192 hasConceptScore W133896192C127413603 @default.
- W133896192 hasConceptScore W133896192C149635348 @default.
- W133896192 hasConceptScore W133896192C165801399 @default.
- W133896192 hasConceptScore W133896192C199360897 @default.
- W133896192 hasConceptScore W133896192C201677973 @default.
- W133896192 hasConceptScore W133896192C41008148 @default.
- W133896192 hasConceptScore W133896192C66322947 @default.
- W133896192 hasConceptScore W133896192C79403827 @default.
- W133896192 hasConceptScore W133896192C84651959 @default.
- W133896192 hasOpenAccess W133896192 @default.
- W133896192 hasRelatedWork W1603832849 @default.
- W133896192 hasRelatedWork W1986195317 @default.
- W133896192 hasRelatedWork W1986558577 @default.
- W133896192 hasRelatedWork W2046555386 @default.
- W133896192 hasRelatedWork W2060070465 @default.
- W133896192 hasRelatedWork W2100500718 @default.
- W133896192 hasRelatedWork W2105182891 @default.
- W133896192 hasRelatedWork W2113466639 @default.
- W133896192 hasRelatedWork W2743504025 @default.
- W133896192 hasRelatedWork W2949896709 @default.
- W133896192 hasRelatedWork W3000553810 @default.
- W133896192 hasRelatedWork W3022355612 @default.
- W133896192 hasRelatedWork W3164980376 @default.
- W133896192 hasRelatedWork W342103818 @default.
- W133896192 hasRelatedWork W2132644841 @default.
- W133896192 hasRelatedWork W2564790713 @default.
- W133896192 hasRelatedWork W2849059135 @default.
- W133896192 hasRelatedWork W2863766483 @default.
- W133896192 hasRelatedWork W2867735163 @default.
- W133896192 hasRelatedWork W2880094385 @default.
- W133896192 isParatext "false" @default.
- W133896192 isRetracted "false" @default.
- W133896192 magId "133896192" @default.
- W133896192 workType "article" @default.