Formal specification and verification of ubiquitous and pervasive systems

ACM Transactions on Autonomous and Adaptive Systems

Volumn 6, Issue 1, 2011, Pages

  Coronato, Antonio ^a   De Pietro, Giuseppe ^a  

^a Institute for High Performance Computing and Networking   (Italy)

Author keywords

Formal specification; Methodologies and tools; Ubiquitous and pervasive safety critical applications

Indexed keywords

FORMAL SPECIFICATION; FORMAL SPECIFICATION AND VERIFICATION; HIGHER-DEGREE; METHODOLOGIES AND TOOLS; MOBILITY CHARACTERISTICS; PERVASIVE APPLICATIONS; PERVASIVE SYSTEMS; SAFETY-CRITICAL; STATIC AND DYNAMIC; UBIQUITOUS AND PERVASIVE SAFETY-CRITICAL APPLICATIONS;

FORMAL METHODS; SAFETY ENGINEERING; SPECIFICATIONS;

FORMAL LOGIC;

EID: 79951868893     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/1921641.1921650     Document Type: Article

References (12)

1. ALUR, R. AND HENZINGER, T. A. 1994. A really temporal logic. J. ACM 41, 1.
2. ARTHO, C., BARRINGER, H., GOLDBERG, A., HAVELUND, K., KHURSHID, S., LOWRY, M., PASAREANU, C., ROSU, G., SEN, K., VISSER, W., AND WASHINGTON, R. 2005. Combining test case generation and runtime verification. Theor. Comput. Sci. 336.
3. CARDELLI, L. AND GORDON, A. D. 2000a. Mobile ambients. Theor. Comput. Sci. 240, 1, 177-213.
4. CARDELLI, L. AND GORDON, A. D. 2000b. Anytime, anywhere modal logics for mobile ambients. In Proceedings of the ACM Symposium on Principles of Programming Languages.
5. CHARATONIK, W., ZILIO, S. D., GORDON, A. D., MUKHOPADHYAY, S., AND TALBOT, J. 2003. Model checking mobile ambients. Theor. Comput. Sci. 308, 1-3, 277-331.
6. CORONATO, A. AND DE PIETRO, G. Formal specification of wireless and pervasive healthcare applications. ACM Trans. Embedd. Comput. Syst. 10, 1.
7. D'AMORIM, M. AND HAVELUND, K. 2005. Event-Based runtime verification of Java programs. In Proceedings of the 3rd International Workshop on Dynamic Analysis (WODA'05).
8. HIERONS, R. M., BOGDANOV, K., BOWEN, J. P., CLEAVELAND, R., DERRICK, J., ET AL. 2009. Using formal specifications to support testing. ACM Comput. Surv. 41.
9. KARLSSON, D., ELES, P. AND PENG, Z. 2007. Formal verification of component-based designs. J. Des. Autom. Embedd. Syst. 11, 1.
10. KELLEY SOBEL, A. E. AND CLARKSON, M. L. 2002. Formal methods application: An empirical tale of software development. IEEE Trans. Softw. Engin. 28, 3.
11. OSTROFF, J. S. AND WOHNHAM, W. 1987. Modeling and verifying real-time embedded computer systems. In Proceedings of the 8th IEEE Real-Time Systems Symposium.
12. ROSU, G. AND HAVELUND, K. 2005. Rewriting-based techniques for runtime verification. Autom. Softw. Engin. 12, 2.