Towards the Modular Specification and Validation of Cyber-Physical Systems (original) (raw)

References

  1. Akella, R., McMillin, B.: Model-cheking BNDC properties in cyber-physical systems. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference COMPSAC 2009, pp. 660–663. IEEE (2009)
    Google Scholar
  2. Alur, R.: Principles of Cyber-Physical Systems. The MIT Press, Cambridge (2015)
    Google Scholar
  3. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209–229. Springer, Heidelberg (1993). https://doi.org/10.1007/3-540-57318-6_30
    Chapter Google Scholar
  4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994). https://doi.org/10.1016/0304-3975(94)90010-8
    Article MathSciNet MATH Google Scholar
  5. Arnold, A.: Finite Transition Systems: Semantics of Communicating Systems. Prentice Hall International (UK) Ltd., Hertfordshire (1994)
    MATH Google Scholar
  6. Bae, K., Krisiloff, J., Meseguer, J., Ölveczky, P.: Designing and verifying distributed cyber-physical systems using multirate pals: an airplane turning control system case study. Sci. Comput. Program. (2015). http://www.sciencedirect.com/science/article/pii/S0167642314004109
  7. Bae, K., Ölveczky, P., Kong, S., Gao, S., Clarke, E.M.: SMT-based analysis of virtually synchronous distributed hybrid systems. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, pp. 145–154. ACM, New York (2016). https://doi.org/10.1145/2883817.2883849
  8. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL—a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232–243. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0020949
    Chapter Google Scholar
  9. Broman, D., Lee, E., Tripakis, S., Torngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, pp. 49–54 (2012)
    Google Scholar
  10. Bu, L., Wang, Q., Chen, X.: Toward online hybrid systems model checking of cyber-physical systems time-bounded short-run behavior. ACM SIGBED Rev. 8, 7–10 (2011)
    Article Google Scholar
  11. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987, pp. 178–188. ACM, New York (1987). https://doi.org/10.1145/41625.41641
  12. Christen, E., Bakalar, K.: VHDL-AMS-a hardware description language for analog and mixed-signal applications. IEEE Trans. Circ. Syst. II: Analog Digit. Sig. Process. 46(10), 1263–1272 (1999). See also: IEEE Trans. Circ. Syst. II: Express Briefs
    Article Google Scholar
  13. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45657-0_29
    Chapter Google Scholar
  14. Clavel, M., Durán, F., Eker, S., Escobar, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.7.1). SRI International (2016)
    Google Scholar
  15. Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 265–292. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-642-59615-5_13
    Chapter Google Scholar
  16. Holzmann, G.: Spin Model Checker, the: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)
    Google Scholar
  17. Lygeros, J., Tomlin, C., Sastry, S.: Hybrid Systems: Modeling, Analysis and Control. University of California (2008)
    Google Scholar
  18. Martín, Ó., Verdejo, A., Martí-Oliet, N.: Synchronous products of rewrite systems. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 141–156. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46520-3_10
    Chapter Google Scholar
  19. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73–155 (1992). https://doi.org/10.1016/0304-3975(92)90182-F
    Article MathSciNet MATH Google Scholar
  20. Moura, L., Owre, S., Shankar, N.: The SAL language manual. SRI International (2003)
    Google Scholar
  21. Ölveczky, P.: Real-Time Maude 2.3 Manual. University of Oslo (2007). http://heim.ifi.uio.no/peterol/RealTimeMaude/
  22. Ölveczky, P.: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. Undergraduate Topics in Computer Science. Springer, London (2018). https://doi.org/10.1007/978-1-4471-6687-0
    Book MATH Google Scholar
  23. Ölveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theor. Comput. Sci. 285(2), 359–405 (2002). https://doi.org/10.1016/S0304-3975(01)00363-2
    Article MathSciNet MATH Google Scholar
  24. Shafi, Q.: Cyber physical systems security: a brief survey. In: 12th International Conference on Computational Science and Its Applications (ICCSA), Salvador, Brazil, pp. 146–150. IEEE (2012)
    Google Scholar
  25. Smith, D.: VHDL and Verilog compared and contrasted-plus modeled example written in VHDL, Verilog and C. In: Proceedings of the 33rd Annual Design Automation Conference (1996)
    Google Scholar
  26. Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, vol. B, pp. 133–191. MIT Press, Cambridge (1990). http://dl.acm.org/citation.cfm?id=114891.114895
    Google Scholar
  27. Zhang, L., Hu, W., Qu, W., Guo, Y., Li, S.: A formal approach to verify parameterized protocols in mobile cyber-physical systems. Mob. Inf. Syst. (2017). https://doi.org/10.1155/2017/5731678

Download references