Achieving dependability in sensor networks through automated requirements-based programming

Computer Communications

Volumn 29, Issue 2, 2006, Pages 246-256

  Hinchey, Michael G ^a,d,e,f,g   Rash, James L ^a   Rouff, Christopher A ^b   Gračanin, Denis ^c,e,h,i  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c Virginia Polytechnic Institute and State University   (United States)

^d IEEE   (United States)

^e IEEE ^*  (United States)

^f Institute of Mathmatics   (United States)

^g Engineers Australia   (Australia)

^h VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

ⁱ ACM   (United States)

Author keywords

Automatic code generation; Formal methods; Sensor networks

Indexed keywords

AUTOMATIC CODE GENERATION; FORMAL METHODS; SENSOR NETWORK;

CODES (SYMBOLS); DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ENGINEERING; WIRELESS TELECOMMUNICATION SYSTEMS;

TELECOMMUNICATION NETWORKS;

EID: 30344469359     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comcom.2005.05.020     Document Type: Article

References (31)

1. I.F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci A survey on sensor networks IEEE Communications Magazine 40 8 2002 102 114
2. F.L. Bauer A trend for the next ten years of software engineering H. Freeman P.M. Lewis Software Engineering 1980 Academic Press 1 23
3. J.P. Bowen, and M.G. Hinchey Seven more myths of formal methods IEEE Software 28 4 1995 56 63
4. M. Butler csp2B: A practical approach to combining CSP and B Department of Electonics and Computer Science 1999 University of Southampton
5. S.A. Curtis, J. Mica, J. Nuth, G. Marr, M. Rilee, M. Bhat, ANTS (Autonomous Nano-Technology Swarm): An Artificial Intelligence Approach to Asteroid Belt Resource Exploration. In: proceedings International Astronautical Federation, 51st Congress, October 2000.
6. Formal Systems (Europe) Ltd. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd, 1999.
7. D. Gračanin, M. Eltoweissy, S. Olariu, A. Wadaa. On modeling wireless sensor networks. In fourth International Workshop on Algorithms for Wireless, Mobile, Ad Hoc and Sensor Networks (WMAN 04), Santa Fe, New Mexico, 26-30 April 2004.
8. D. Gracanin, M. Eltoweissy, S. Olariu, and A. Wadaa Dependability support in wireless sensor networks H.B. Diab A.Y. Zomaya Dependable Computing Systems: Paradigms, Performance Issues, and Applications, chapter 23 2005 Wiley
9. J.C. Giarratano CLIPS User's Guide 1992 NASA Johnson Space Center Houston, TX
10. J.A. Hall Seven myths of formal methods IEEE Software 7 5 1990 11 19
11. D. Harel From play-in scenarios to code: An achievable dream IEEE Computer 34 1 2001 53 60
12. D. Harel, Requirements-based programming. In Proceedings of ISOLA-2004.
13. M.G. Hinchey J.P. Bowen Applications of Formal Methods 1995 Prentice-Hall International Series in Computer Science Englewood Cliffs, NJ and Hemel Hempstead, UK
14. M.G. Hinchey J.P. Bowen Industrial-Strength Formal Methods in Practice, FACIT Series 1999 Springer London and New York
15. D. Harel, and R. Marelly Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine 2003 Springer
16. C.A.R. Hoare Communicating sequential processes Communications of the ACM 21 8 1978 666 677
17. C.A.R. Hoare Communicating Sequential Processes International Series in Computer Science 1985 Prentice Hall Englewood Cliffs
18. M.G. Hinchey, J.L. Rash, and C.A. Rouff. Verification and validation of autonomous systems. In Proceedings of SEW-26, 26th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, MD, November 2001. IEEE Computer Society Press.
19. G.T. Huang Casting the wireless sensor net Technology Review 106 6 2003 50 56
20. IFAD The VDM++Toolbox User Manual 2000
21. M. Kaufmann, P. Manolios, and JS. Moore Computer-Aided Reasoning: An Approach Advances in Formal Methods Series 2000 Kluwer Boston
22. K. Lano, and H. Haughton Specification in B: an Introduction using the B-Toolkit 1996 Imperial College Press London
23. The Matworks, Inc., Getting Started with MATLAB, Natick, MA, 2000.
24. F. McLoughlin. ADaGGIO-An Automated Directed Graph Diagramming Tool. Hmsc thesis, Department of Computer Science and Information Systems, University of Limerick, 1992.
25. D.L. Parnas. Using Mathematical Models in the Inspection of Critical Software, in: [13] pp. 17-31, 1995.
26. C.A. Rouff, J.L. Rash, M.G. Hinchey, Experience using formal methods for specifying an agent-based system. In Proc. ICECCS 2000, Sixth IEEE International Conference on Engineering of Complex Computer Systems, Tokyo, Japan, 2000. IEEE Computer Society Press.
27. S. Schneider Concurrent and Real-Time Systems: The CSP Approach Worldwide Series in Computer Science 2000 Wiley Chichester
28. W.F. Truszkowski, M.G. Hinchey, J.L. Rash, and C.A. Rouff Autonomous and autonomic systems: a paradigm for future space exploration missions IEEE Transaction on Systems 2005 Man and Cybernetics, Part C
29. TinyOS. TinyOS web page, [accessed January 18, 2005]. http://www.tinyos.net/.
30. W. Truszkowski, J. Rash, C. Rouff, M. Hinchey. Some autonomic properties of two legacy multi-agent systems-LOGOS and ACT. In Proceedings of 11th IEEE International Conference on Engineering Computer-Based Systems (ECBS), Workshop on Engineering Autonomic Systems (EASe), Brno, Czech Republic, May 24-27, IEEE Computer Society Press, pp. 490-498, 2004.
31. J. Whittle J. Saboo R. Kwan From Scenarios to Code: An Air Traffic Control Case Study, in: Proceedings ICSE-25, 25th IEEE/ACM International Conference on Software Engineering, Portland, OR, IEEE Computer Society Press, pp. 490-495, 2003.