SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications

Miroslav Sveda, Radimir Vrba

Abstract

The paper presents an approach to formal specification, verification and prototyping of networked embedded software system applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. The design approach fully respecting such requirements can eliminate not only behavioral and structural faults but also security flaws caused by design errors. Reflecting current trends in engineering software-intensive systems, this contribution discusses in more detail executable specifications and rapid prototyping for structured design, and structural specifications and verifications for object-oriented design. The paper presents Asynchronous Specification Language and Class Specification Language developed for that purpose.

References

  1. Broy, M., 2006. The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. IEEE Computer, Vol.39, No.10, pp.72-80.
  2. Harel, D., 2001. From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer, Vol.34, No.1, pp.53-60.
  3. Hessami, A.G., 2004. A Systems Framework for Safety and Security: The Holistic Paradigm. Systems Engineering, Vol.7, No.2, pp.99-112.
  4. Holzmann, G.J., 1997. The Model Checker Spin. IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295.
  5. Jackson, M., 2006. What Can We Expect from Program Verification? IEEE Computer, Vol.39, No.10, pp.65-71.
  6. Kim, G., L. et al., 1997. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, Vol.1, No.1-2, pp.134-152.
  7. Lamport, L., 2002. Specifying Systems, Addison-Wesley, Boston, USA.
  8. Melhart, B. and S. White, 2000. Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements. Proceedings of the IEEE Conference and Workshop ECBS'2000, IEEE Computer Society Press, Edinburgh, Scotland, pp.334-340.
  9. Owre, J.M., et al., 1992. PVS: A Prototype Verification System. Automated Deduction, (D. Kapur, Ed.), Lecture Notes in Artificial Intelligence, Vol.607, pp.748-752, Springer, New York, USA.
  10. Rysavy, O. and M. Sveda, 2003. A Minimal Formal Language for Object-Oriented Specifications. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. University of Stirling, UK, pp.35-40.
  11. Rysavy, O., 2005. Specifying and Reasoning in the Calculus of Objects, PhD Dissertation, Brno University of Technology, Brno, Czech Republic.
  12. Sveda, M. and R. Vrba, 2001. Executable Specifications for Distributed Embedded Systems. IEEE Computer, Vol.34, No.1, pp.138-140.
  13. Sveda, M. and R. Vrba, 2003. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE Sensors Journal, Vol.3, No. 5, pp.579-586.
  14. Sveda, M. and R. Vrba, 2005. An Approach to the Design of Networked Embedded Systems. Proceedings of the 16th IFAC WORLD CONGRESS, Praha, pp.2223-2228.
  15. Sveda, M., et al., 2005. Introduction to Industrial Sensor Networking. A book chapter in: Ilyas, M., and I. Mahgoub, (Eds.). Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press LLC, Boca Raton, FL, USA, pp.10.1-10.24.
  16. Sveda, M. and R. Vrba, 2006. Internet-Based Embedded System Architectures -- End-User Development Support for Embedded System Applications. Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2006, ICE-B), INSTICC and IEEE, Setúbal, Portugal, 2006, pp.63-68.
  17. Wieringa, R., 1998. A Survey of Structured and ObjectOriented Software Specification Methods and Techniques. ACM Computing Surveys, Vol.30, No.4, pp.459-527.
  18. Woodcock, J., 2006. First Steps in the Verified Software Grand Challenge. IEEE Computer, Vol.39, No.10, pp.57-64.
Download


Paper Citation


in Harvard Style

Sveda M. and Vrba R. (2007). SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications . In Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007) ISBN 978-989-8111-11-1, pages 23-30. DOI: 10.5220/0002107100230030


in Bibtex Style

@conference{ice-b07,
author={Miroslav Sveda and Radimir Vrba},
title={SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications},
booktitle={Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)},
year={2007},
pages={23-30},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002107100230030},
isbn={978-989-8111-11-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)
TI - SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications
SN - 978-989-8111-11-1
AU - Sveda M.
AU - Vrba R.
PY - 2007
SP - 23
EP - 30
DO - 10.5220/0002107100230030