Explaining Embedded Software Modelling Decisions

@article{Marincic2012ExplainingES,
  title={Explaining Embedded Software Modelling Decisions},
  author={Jelena Marincic and Angelika Mader and Roel Wieringa},
  journal={2012 IEEE International Conference on Software Science, Technology and Engineering},
  year={2012},
  pages={80-89}
}
As today's devices, gadgets and machines become more intelligent, the complexity of embedded software controlling them grows enormously. To deal with this complexity, embedded software is designed using model-based paradigms. The process of modelling is a combination of formal and creative, design steps. Because of the partially non-formal character of modelling, the relation between a model and the system cannot be expressed mathematically. Therefore, the modeller's justification that the… CONTINUE READING

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Virtuous distortion modelbased reasoning in science and technology

J. Woods, A. Rosales
  • Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery, volume 314 of Studies in Computational Intelligence, pages 3–30. Springer Berlin / Heidelberg
  • 2010
VIEW 2 EXCERPTS

Computer simulations , idealizations and approximations

A. Borgida, V. Chaudhri, P. Giorgini
  • PSA : Proceedings of the Biennial Meeting of the Philosophy of Science Association
  • 2009

Some notes on models and modelling

M. Jackson
  • A. Borgida, V. Chaudhri, P. Giorgini, and E. Yu, editors, Conceptual Modeling: Foundations and Applications, volume 5600 of Lecture Notes in Computer Science, pages 68–81. Springer Berlin / Heidelberg
  • 2009
VIEW 1 EXCERPT

Problem Oriented Software Engineering: A design-theoretic framework for software engineering

  • Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
  • 2007
VIEW 2 EXCERPTS