Joint European Conferences on Theory and Practice of Software

ETAPS 2014: From Programs to Systems. The Systems perspective in Computing pp 225-234

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8415) | Cite as

Toward a System Design Science

  • Joseph Sifakis

Abstract

Design is a universal concept. It links the immaterial world of concepts to the physical world. It is an essential area of human experience, expertise, and knowledge, which deals with our ability to mold our environment to satisfy material and spiritual needs.

Design has two different connotations. One is simply a plan or a pattern for assembling objects constituting a given artifact. The other is the creative process for devising plans or patterns and carrying them out to produce an artifact. For this paper we focus on the second interpretation. We are ultimately interested in putting design on a more scientific basis. Toward this end, we focus here on articulating a new structure for the design process, which we believe will support this goal.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Simon, H.A.: The Sciences of the Artificial, 3rd edn. MIT Press, Cambridge (1996)Google Scholar
  2. 2.
    Alexander, C.: Notes on the synthesis of form. Harvard University Press, Cambridge (1964); Autres tirages: 1968, 1971Google Scholar
  3. 3.
    Cross, N.: Designerly ways of knowing: Design discipline versus design science. Design Issues 17(3), 49–55 (2001)CrossRefGoogle Scholar
  4. 4.
    Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Q. 28(1), 75–105 (2004)Google Scholar
  5. 5.
    Winter, R., Zhao, J.L., Aier, S. (eds.): DESRIST 2010. LNCS, vol. 6105. Springer, Heidelberg (2010)Google Scholar
  6. 6.
    Peffers, K., Rothenberger, M., Kuechler, B. (eds.): DESRIST 2012. LNCS, vol. 7286. Springer, Heidelberg (2012)Google Scholar
  7. 7.
    Henzinger, T.A., Sifakis, J.: The discipline of embedded systems design. Computer 40(10), 32–40 (2007)CrossRefGoogle Scholar
  8. 8.
    Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 508–522. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17(2), 7:1–7:52 (2008)Google Scholar
  10. 10.
    Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Syst. 28(2-3), 157–177 (2004)CrossRefGoogle Scholar
  11. 11.
    Mohanty, S., Prasanna, V.K., Neema, S., Davis, J.: Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. In: Proceedings of the Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems, LCTES/SCOPES 2002, pp. 18–27. ACM, New York (2002)CrossRefGoogle Scholar
  12. 12.
    Grant, D.: Design methodology and design methods. Design Methods and Theories 13(1) (1979)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Joseph Sifakis
    • 1
  1. 1.RiSD LaboratoryEPFLLausanneSwitzerland

Personalised recommendations