[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

CimattiRoveriSusiTonetta12

  1. Alessandro Cimatti & Marco Roveri & Angelo Susi & Stefano Tonetta
  2. Validation of Requirements for Hibrid Systems: A Formal Approach
  3. ACM TOSEM Trans Software Eng & Methodology V21n4(Nov 2012)#22:1-34 [ 2377656.2377657 ]
  4. =CASE STUDY UML OTHELLO ETCS LTL LINEAR TIME LOGIC TRAINS TOOLS ROSE SMT WORD Requisite Pro
  5. UML used to describe domain, a natural language form of LTL.
  6. Requirements classified: Glossary, Relationship, Action, Configuration, Behavior, Scenario, Property, Annotation.
  7. Formalized as UML class diagram plus LTL logic constraints.
  8. Tools check for consistency and completeness of requirements.
  9. Discover unexpected scenarios and cases where unwanted behaviors are allowed by the requirements.
  10. Example constraint
  11. for all t in trains (
    1. in the future t.front.end != t.MA.EOA.location and (
      1. in the future t.front.end = t.MA.EOA.location
      )
    )
  12. Experts learned to use the tools and method and liked them.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]