The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2010 vol.43)
pp: 34-40
Gabor Karsai , Vanderbilt University
Fabio Massacci , University of Trento, Italy
Leon Osterweil , University of Massachusetts Amherst
Ina Schieferdecker , Fraunhofer FOKUS and Technical University Berlin
ABSTRACT
Embedded systems are engineered systems in which software components and computing are deeply integrated into a larger system that continuously interacts with its environment. Quite often, the actions of human participants are also an integral part. Such integrated systems have become an invisible yet crucial part of our environment, so their continuous and trouble-free evolution is of great importance because of our dependence on their services. In this article, the authors discuss four selected aspects of evolution in embedded systems: the different timescales of evolution, the coevolution of processes and systems, checking evolution at deployment time, and the evolution of tests used to check system correctness.
INDEX TERMS
Systems engineering, Critical systems, Embedded systems, Software evolution, Design and test
CITATION
Gabor Karsai, Fabio Massacci, Leon Osterweil, Ina Schieferdecker, "Evolving Embedded Systems", Computer, vol.43, no. 5, pp. 34-40, May 2010, doi:10.1109/MC.2010.135
REFERENCES
1. T. Levendovszky and G. Karsai, "An Active Pattern Infrastructure for Domain-Specific Languages," to appear in Electronic Comm. EASST, 2010; http://journal.ub.tu-berlin.de/index.php/ eceasstindex.
2. B.H.C. Cheng et al., "Software Engineering for Self-Adaptive Systems: A Research Roadmap," Software Eng. for Self-Adaptive Systems, LNCS 5525, Springer, 2009, pp. 1-26.
3. P. Bieber et al., "Checking Secure Interactions of Smart Card Applets: Extended Version," J. Computer Security, vol. 10, no. 4, 2002, pp. 369-398.
4. E. Hubbers, M. Oostdijk, and E. Poll, "From Finite State Machines to Provably Correct Java Card Applets," Proc. IFIP TC11 18th Int'l Conf. Information Security (SEC 03), Kluwer Publishers, 2003, pp. 465-470.
5. B. Chen et al., "Analyzing Medical Processes," Proc. 30th Int'l Conf. Software Eng. (ICSE 08), ACM Press, 2008, pp. 623-632.
6. J.M. Cobleigh, G.S. Avrunin, and L.A. Clarke, "Breaking Up Is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning," ACM Trans. Software Eng. Methodologies, vol. 17, no. 2, 2008, pp. 1-52.
7. R. Sekar et al., "Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications," ACM Symp. Operating Systems Principles (SOSP 03), ACM Press, 2003, pp. 15-28.
8. L. Desmet et al., "Security-by-Contract on the .NET Platform," Information Security Technical Report, vol. 13, no. 1, 2008, pp. 25-32.
9. N. Dragoni et al., "Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code," Proc. 4th European PKI Workshop (EuroPKI 07), LNCS 4582, Springer, 2007, pp. 297-312.
10. W. Enck, M. Ongtang, and P. McDaniel, "On Lightweight Mobile Phone Application Certification," Proc. 16th ACM Conf. Computer and Communications Security (CCS 09), ACM Press, 2009, pp. 235-245.
11. D. Ghindici, G. Grimaud, and I. Simplot-Ryl, "An Information Flow Verifier for Small Embedded Systems," Proc. Int'l Workshop Information Security Theory and Practices (WISTP 07), LNCS 4462, Springer, 2007, pp. 189-201.
12. P.H. Deussen, "Supervision of Autonomic Systems," Int'l Trans. Systems Science and Applications, vol. 2, no. 1, 2006, pp. 105-110.
13. H.-G. Gross, I. Schieferdecker, and G. Din, "Model-Based Built-In Tests," Electronic Notes in Theoretical Computer Science, vol. 111, 2005, pp. 161-182.
14. P. Baker et al., Model-Driven Testing: Using the UML Testing Profile, Springer, 2007.
15. L. Frantzen, J. Tretmans, and T.A.C. Willemse, "A Symbolic Framework for Model-Based Testing," Formal Approaches to Software Testing and Runtime Verification, LNCS 4262, Springer, 2006, pp. 40-54.
16. A. Zeller, "Debugging Debugging: ACM Sigsoft Impact Paper Award Keynote," Proc. 7th Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC-FSE 07), ACM Press, 2009, pp. 263-264.
17. J. Zander-Nowicka, X. Xiong, and I. Schieferdecker, "Systematic Test Data Generation for Embedded Software," Proc. Software Eng. Research and Practice (SERP 08), vol. 1, CSREA Press, 2008, pp. 164-170.
18. J. Grossmann, D.A. Serbanescu, and I. Schieferdecker, "Testing Embedded Real Time Systems with TTCN-3," Proc. 2009 Int'l Conf. Software Testing Verification and Validation (ICST 09), IEEE CS Press, 2009, pp. 81-90.
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool