Toward a System Design Science

  • Joseph Sifakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8415)


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.


Design Science Design Space Exploration Hardware Description Language Triple Modular Redundancy Optimization Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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)CrossRefGoogle 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)CrossRefGoogle 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