Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519490754> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1519490754 abstract "In this paper, the authors explain a formal method adopted to model the system requirements specification of the ERTMS/ETCS trackside-subsystem (Radio Block Center) implemented on the high speed/high capacity Italian railways. The logical behaviour is represented by Statechart diagrams using the Statemate™ Magnum Tool. The model pointed out permits to describe the specification in scalable way, giving both a high level of abstraction and a more detailed level of description. The proposed methodology has been applied to represent the Bologna-Firenze and Milano-Bologna ETCS lines. The process has concerned the following steps: I) analysis of all the documents (UNISIG, RFI SRS), II) chose of the Formal Language Model (Statecharts), III) rules definition for Statechart Models (state conditions, state transitions), IV) develompment of the Statechart Model for the ETCS Trackside Subsystem, V) testing of the Model by Specific Tools: i) Statemate Magnum Certifier for logical tests implemented by the user, ii) Automatic evaluation of the model through Real Datalog files." @default.
- W1519490754 created "2016-06-24" @default.
- W1519490754 creator A5018778709 @default.
- W1519490754 creator A5024292300 @default.
- W1519490754 creator A5034807983 @default.
- W1519490754 creator A5051301298 @default.
- W1519490754 date "2015-03-01" @default.
- W1519490754 modified "2023-09-23" @default.
- W1519490754 title "Use of formal languages to represent the ERTMS/ETCS system requirements specifications" @default.
- W1519490754 cites W2128719285 @default.
- W1519490754 cites W2137568306 @default.
- W1519490754 cites W2537153309 @default.
- W1519490754 cites W3173506101 @default.
- W1519490754 doi "https://doi.org/10.1109/esars.2015.7101503" @default.
- W1519490754 hasPublicationYear "2015" @default.
- W1519490754 type Work @default.
- W1519490754 sameAs 1519490754 @default.
- W1519490754 citedByCount "4" @default.
- W1519490754 countsByYear W15194907542015 @default.
- W1519490754 countsByYear W15194907542019 @default.
- W1519490754 countsByYear W15194907542020 @default.
- W1519490754 countsByYear W15194907542023 @default.
- W1519490754 crossrefType "proceedings-article" @default.
- W1519490754 hasAuthorship W1519490754A5018778709 @default.
- W1519490754 hasAuthorship W1519490754A5024292300 @default.
- W1519490754 hasAuthorship W1519490754A5034807983 @default.
- W1519490754 hasAuthorship W1519490754A5051301298 @default.
- W1519490754 hasConcept C110251889 @default.
- W1519490754 hasConcept C111472728 @default.
- W1519490754 hasConcept C111498074 @default.
- W1519490754 hasConcept C111919701 @default.
- W1519490754 hasConcept C115903868 @default.
- W1519490754 hasConcept C116253237 @default.
- W1519490754 hasConcept C124304363 @default.
- W1519490754 hasConcept C138885662 @default.
- W1519490754 hasConcept C199360897 @default.
- W1519490754 hasConcept C41008148 @default.
- W1519490754 hasConcept C48044578 @default.
- W1519490754 hasConcept C48103436 @default.
- W1519490754 hasConcept C75606506 @default.
- W1519490754 hasConcept C98045186 @default.
- W1519490754 hasConceptScore W1519490754C110251889 @default.
- W1519490754 hasConceptScore W1519490754C111472728 @default.
- W1519490754 hasConceptScore W1519490754C111498074 @default.
- W1519490754 hasConceptScore W1519490754C111919701 @default.
- W1519490754 hasConceptScore W1519490754C115903868 @default.
- W1519490754 hasConceptScore W1519490754C116253237 @default.
- W1519490754 hasConceptScore W1519490754C124304363 @default.
- W1519490754 hasConceptScore W1519490754C138885662 @default.
- W1519490754 hasConceptScore W1519490754C199360897 @default.
- W1519490754 hasConceptScore W1519490754C41008148 @default.
- W1519490754 hasConceptScore W1519490754C48044578 @default.
- W1519490754 hasConceptScore W1519490754C48103436 @default.
- W1519490754 hasConceptScore W1519490754C75606506 @default.
- W1519490754 hasConceptScore W1519490754C98045186 @default.
- W1519490754 hasLocation W15194907541 @default.
- W1519490754 hasOpenAccess W1519490754 @default.
- W1519490754 hasPrimaryLocation W15194907541 @default.
- W1519490754 hasRelatedWork W1262447868 @default.
- W1519490754 hasRelatedWork W139456993 @default.
- W1519490754 hasRelatedWork W1517246617 @default.
- W1519490754 hasRelatedWork W1764999832 @default.
- W1519490754 hasRelatedWork W2100376817 @default.
- W1519490754 hasRelatedWork W2128447142 @default.
- W1519490754 hasRelatedWork W2141368574 @default.
- W1519490754 hasRelatedWork W2145025660 @default.
- W1519490754 hasRelatedWork W2171674700 @default.
- W1519490754 hasRelatedWork W222060822 @default.
- W1519490754 hasRelatedWork W2252959517 @default.
- W1519490754 hasRelatedWork W2274633339 @default.
- W1519490754 hasRelatedWork W2276023761 @default.
- W1519490754 hasRelatedWork W2280145101 @default.
- W1519490754 hasRelatedWork W2405473066 @default.
- W1519490754 hasRelatedWork W2532450002 @default.
- W1519490754 hasRelatedWork W2535236719 @default.
- W1519490754 hasRelatedWork W2538894257 @default.
- W1519490754 hasRelatedWork W2787929747 @default.
- W1519490754 hasRelatedWork W2802031355 @default.
- W1519490754 isParatext "false" @default.
- W1519490754 isRetracted "false" @default.
- W1519490754 magId "1519490754" @default.
- W1519490754 workType "article" @default.