FB3
TZI
BISS
Turn Indicator Model Rev. 1.3
- Model overview (last update: 2011-05-25)
- Model (HTML format) (last update: 2011-07-08)
- Model (XMI format) (last update: 2011-07-08)
- Model (EAP format) (last update: 2011-07-08) loadable with EnterpriseArchitect 8.0
- Benchmark tests (last update 2011-07-31)
- RT-Tester, RTT-MBT 8.8-2.0.1 reference tool information (last update: 2011-05-25)
Changes with respect to older model revisions.
- From Rev. 1.2 to Rev. 1.3: A superfluous unreachable "orphan state" was removed from the model.
- From Rev. 1.1 to Rev. 1.2: Some guard conditions were corrected. Full documentation provided in the form of UML2.0 notes associated with composite structure diagrams and state machine diagrams.
Contributors. Florian Lapschies, Jan Peleska, Elena Vorobev (University of Bremen, {florian,jp,elenav}@informatik.uni-bremen.de);
Artur Honisch, Hermann Schmid, Peer Smuda (Daimler AG);
Helge Löding, Cornelia Zahlten (Verified Systems International GmbH).
Acknowledgments. The contributors to this benchmark would like to thank Daimler AG for agreeing to publish the Turn Indicator Model which describes turn indication-related technology of today's Mercedes vehicles.
