References

  1. Motor Industry Software Reliability Association (1998): Guidelines for the Use of the C Language in Vehicle Based Software. Motor Industry Research Association.
  2. Ayan Banerjee & Sandeep K. S. Gupta (2014): Model Based Code Generation for Medical Cyber Physical Systems. In: 1st Workshop on Mobile Medical Applications (MMA '14), pp. 22–27, doi:10.1145/2676431.2676646.
  3. M. Beine, R. Otterbach & M. Jungmann (2004): Development of safety-critical software using automatic code generation. Technical Report. SAE Technical Papers, doi:10.4271/2004-01-0708.
  4. C. Bernardeschi, L. Cassano, A. Domenici & L. Sterpone (2013): Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs. In: Proc. of the 23rd ACM Great Lakes Symposium on VLSI, GLSVLSI '13, pp. 7–12, doi:10.1145/2483028.2483050.
  5. Cinzia Bernardeschi, Paolo Masci & Holger Pfeifer (2008): Early Prototyping of Wireless Sensor Network Algorithms in PVS, pp. 346–359. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-540-87698-4_29.
  6. J. Bowen & A. Hinze (2011): Supporting Mobile Application Development with Model-Driven Emulation. In: Formal Methods for Interactive Systems 2011, Electr. Comm. EASST 45, doi:10.14279/tuj.eceasst.45.634.
  7. J. Bowen & S. Reeves (2012): Modelling User Manuals of Modal Medical Devices and Learning from the Experience. In: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '12), pp. 121–130, doi:10.1145/2305484.2305505.
  8. J. Bowen & S. Reeves (2015): Design Patterns for Models of Interactive Systems. In: 24th Australasian Software Engineering Conference (ASWEC). IEEE, pp. 223–232, doi:10.1109/ASWEC.2015.30.
  9. A. Cerone, P. Curzon, J. Bowen & S. Reeves (2007): Formal Models for Informal GUI Designs. Electronic Notes in Theoretical Computer Science 183, pp. 57–72, doi:10.1016/j.entcs.2007.01.061.
  10. Guiran Chang, Chunguang Tan, Guanhua Li & Chuan Zhu (2010): Developing Mobile Applications on the Android Platform. In: Mobile Multimedia Processing, pp. 264–286, doi:10.1007/978-3-642-12349-8_15.
  11. T. Erkkinen & M. Conrad (2007): Safety-critical software development using automatic production code generation. Technical Report. SAE Technical Papers, doi:10.4271/2007-01-1493.
  12. J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat & M. Verhoef (2005): Validated Designs For Object-oriented Systems. Springer-Verlag TELOS, Santa Clara, CA, USA.
  13. J. D. Foley & P. Noi Sukaviriya (1994): History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation. In: Proceedings of Design, Verification and Specification of Interactive Systems (DSVIS'94), pp. 3–14, doi:10.1007/978-3-642-87115-3_1.
  14. (2016): Handlebars Semantic Template. Available at http://handlebarsjs.com.
  15. M. D. Harrison, J. C. Campos & P. Masci (2015): Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering 11(2), pp. 95–111, doi:10.1007/s11334-013-0201-3.
  16. MD. Harrison, JC. Campos, R. Rimvydas & P. Curzon (2016): Modelling information resources and their salience in medical device design. In: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16), doi:10.1145/2933242.2933250.
  17. Campos JC & Harrison MD (2001): Model checking interactor specifications. Automated Software Engineering 8(3–4), pp. 5275–310, doi:10.1023/A:1011265604021.
  18. (2016): Java Native Interface. http://docs.oracle.com/javase/8/docs/technotes/guides/jni/.
  19. P. Masci, A. Ayoud, P. Curzon, MD. Harrison, I. Lee & H. Thimbleby (2013): Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. In: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (EICS '13), doi:10.1145/2494603.2480302.
  20. P. Masci, P. Mallozzi, F. L. De Angelis, G. Di Marzo Serugendo & P. Curzon (2015): Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments. In: Verisure2015, Workshop on Verification and Assurance, co-located with CAV2015.
  21. P. Masci, P. Oladimeji, P. Curzon & H. Thimbleby (2014): Tool demo: Using PVSio-web to demonstrate software issues in medical user interfaces. In: 4th International Symposium on Foundations of Healthcare Information Engineering and Systems (FHIES2014).
  22. P. Masci, P. Oladimeji, P. Curzon & H. Thimbleby (2015): PVSio-web 2.0: Joining PVS to Human-Computer Interaction. In: 27th International Conference on Computer Aided Verification (CAV2015). Springer, doi:10.1007/978-3-319-21690-4_30. Tool and application examples available at http://www.pvsioweb.org.
  23. P. Masci, Yi Zhang, P. Jones, P. Oladimeji, E. D'Urso, C. Bernardeschi, P. Curzon & H. Thimbleby (2014): Combining PVSio with Stateflow. In: 6th NASA Formal Methods Symposium (NFM2014), doi:10.1007/978-3-319-06200-6_16.
  24. C. Muñoz (2003): Rapid prototyping in PVS. Technical Report NIA 2003-03, NASA/CR-2003-212418. National Institute of Aerospace, Hampton, VA, USA.
  25. (2016): NDK. Available at http://developer.android.com/ndk.
  26. P. Oladimeji, P. Masci, P. Curzon & H. Thimbleby (2013): PVSio-web: a tool for rapid prototyping device user interfaces in PVS. In: FMIS2013, 5th International Workshop on Formal Methods for Interactive Systems, doi:10.14279/tuj.eceasst.69.963.
  27. S. Owre, J. M. Rushby & N. Shankar (1992): PVS: A Prototype Verification System. In: Automated Deduction—CADE-11: 11th International Conference on Automated Deduction, pp. 748–752, doi:10.1007/3-540-55602-8_217.
  28. M. Pajic, Zhihao Jiang, Insup Lee, O. Sokolsky & R. Mangharam (2014): Safety-critical Medical Device Development Using the UPP2SF Model Translation Tool. ACM Trans. Embed. Comput. Syst. 13(4s), pp. 127:1–127:26, doi:10.1145/2584651.
  29. F. Paternò, C. Santoro & L. D. Spano (2009): MARIA: A Universal, Declarative, Multiple Abstraction-level Language for Service-oriented Applications in Ubiquitous Environments. ACM Trans. Comput.-Hum. Interact. 16(4), pp. 19:1–19:30, doi:10.1145/1614390.1614394.
  30. Raymond Merrill Smullyan (1995): First-order logic. Dover publications, New York.
  31. Mandayam Srivas, Harald Rueß & David Cyrluk (1997): Hardware Verification Using PVS. In: Thomas Kropf: Formal Hardware Verification: Methods and Systems in Comparison, Lecture Notes in Computer Science 1287. Springer-Verlag, pp. 156–205, doi:10.1007/3-540-63475-4_4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org