Abstract
Based on our investigations of a case study of controllers for train systems [6,7,13,14], we present a model of reactive systems which emphasizes dynamic partitioning of system behavior into normal and abnormal. The class of reactive systems considered are non-strict in the sense that their behavior is not entirely governed by past events; instead, future events must also be considered in the design of controllers for such systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bastani, F.B., Reddy, V., Srigiriraju, P., Yen, I.-L.: Validation of a Relational Program. In: Winter, V., Bhattacharya, S. (eds.) High Integrity Software, pp. 243–264. Kluwer Academic Publishers, Dordrecht (2001)
Breant, F., Couvreur, J.-M., Gilliers, F., Kordon, F., Mounier, I., Paviot-Adet, E., Poitrenaud, D., Regep, D., Sutre, G.: Modeling and verifying behavioral aspects. In: Kordon, F., Lemoine, M. (eds.) Formal methods for embedded distributed systems: how to master the complexity, Kluwer Academic Publishers, Dordrecht (2004)
Gausemeier, J., Berssenbrügge, J., Binger, V.: Future Potentials of Rail-Based Cargo Transportation for the Courier, Express and Parcel-Market. In: World Congress on Railway Research (2001)
Heitmeyer, C.: Using SCR to Specify the BART Requirements. In: Winter, V., Bhattacharya, S. (eds.) High Integrity Software, pp. 137–168. Kluwer Academic Publishers, Dordrecht (2001)
Janicki, R., Parnas, D.L., Zucker, J.: Tabular representations in relational documents. In: Relational methods in computer science, New York, NY, USA, pp. 184–196. Springer, New York (1997)
Kapur, D., Winter, V.L.: On the Construction of a Domain Language for a Class of Reactive Systems. In: Winter, V., Bhattacharya, S. (eds.) High Integrity Software, pp. 169–196. Kluwer Academic Publishers, Dordrecht (2001)
Kapur, D., Winter, V.L., Berg, R.S.: Designing a Controller for a Multi-Train Multi-Track System. Electronic Notes in Theoretical Computer Science (ENTCS) 50(1) (2001)
King, L., Gupta, G., Pontelli, E.: Verification of a Controller for BART. In: Winter, V., Bhattacharya, S. (eds.) High Integrity Software, pp. 137–168. Kluwer Academic Publishers, Dordrecht (2001)
Lemoine, M., Gaudiere, G.: From UML to Z. In: Kordon, F., Lemoine, M. (eds.) Formal methods for embedded distributed systems: how to master the complexity, Kluwer Academic Publishers, Dordrecht (2004)
Parnas, D.L., Madey, J.: Functional Documentation for Computer Systems Engineering. Science of Computer Programming 25(1) (1995)
Winter, V., Kordon, F., Lemoine, M.: The BART Case Study. In: Kordon, F., Lemoine, M. (eds.) Formal Methods for Embedded Distributed Systems: How to master the complexity, pp. 3–22. Kluwer Academic Publishers, Dordrecht (2004)
Winter, V.L., Covan, J.M., Dalton, L.J.: Assuring Passive Safety in High Consequence Systems. IEEE Computer 31(4), 35–36 (1998)
Winter, V.L., Kapur, D., Berg, R.S.: A Refinement-based Approach for Developing Software Controllers for Train Systems. In: Winter, V., Bhattacharya, S. (eds.) High Integrity Software, pp. 197–240. Kluwer Academic Publishers, Dordrecht (2001)
Winter, V.L., Kapur, D., Fuehrer, G.: Formal Specification and Refinement of a Safe Train Control Function. In: Kordon, F., Lemoine, M. (eds.) Formal methods for embedded distributed systems: how to master the complexity, Kluwer Academic Publishers, Dordrecht (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Winter, V., Kapur, D. (2007). Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study. In: Kordon, F., Sztipanovits, J. (eds) Reliable Systems on Unreliable Networked Platforms. Monterey Workshop 2005. Lecture Notes in Computer Science, vol 4322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71156-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-71156-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71155-1
Online ISBN: 978-3-540-71156-8
eBook Packages: Computer ScienceComputer Science (R0)