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.
Chapter PDF
Similar content being viewed by others
Keywords
- 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.
References
Simon, H.A.: The Sciences of the Artificial, 3rd edn. MIT Press, Cambridge (1996)
Alexander, C.: Notes on the synthesis of form. Harvard University Press, Cambridge (1964); Autres tirages: 1968, 1971
Cross, N.: Designerly ways of knowing: Design discipline versus design science. Design Issues 17(3), 49–55 (2001)
Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Q. 28(1), 75–105 (2004)
Winter, R., Zhao, J.L., Aier, S. (eds.): DESRIST 2010. LNCS, vol. 6105. Springer, Heidelberg (2010)
Peffers, K., Rothenberger, M., Kuechler, B. (eds.): DESRIST 2012. LNCS, vol. 7286. Springer, Heidelberg (2012)
Henzinger, T.A., Sifakis, J.: The discipline of embedded systems design. Computer 40(10), 32–40 (2007)
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)
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)
Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Syst. 28(2-3), 157–177 (2004)
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)
Grant, D.: Design methodology and design methods. Design Methods and Theories 13(1) (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (2014). Toward a System Design Science. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds) From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science, vol 8415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54848-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-54848-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54847-5
Online ISBN: 978-3-642-54848-2
eBook Packages: Computer ScienceComputer Science (R0)