research-article

Engineering self-coordinating software intensive systems

Authors:

Ansgar TrächtlerAuthors Info & Claims

FoSER '10: Proceedings of the FSE/SDP workshop on Future of software engineering research

Pages 321 - 324

https://doi.org/10.1145/1882362.1882428

Published: 07 November 2010 Publication History

Get Access

References

[1]

Advances in Artificial Life, Proceedings of the 9th European Conference on Artificial Live, ECAL 2007, Lisbon, Portugal,volume 4648 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2007.

Google Scholar

[2]

E. Bonabeau, M. Dorigo, and G. Theraulaz. Swarm intelligence: from natural to artificial systems. Oxford University Press, Inc., New York, NY, USA, 1999.

Digital Library

Google Scholar

[3]

S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. Müch, and H. Vöcking. Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801--804. IEEE Computer Society Press, May 2007.

Digital Library

Google Scholar

[4]

S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. Münch, and H. Vöcking. Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801--804. IEEE Computer Society Press, May 2007.

Digital Library

Google Scholar

[5]

B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, editors. Software Engineering for Self-Adaptive Systems {outcome of a Dagstuhl Seminar}, volume 5525 of Lecture Notes in Computer Science. Springer, 2009.

Digital Library

Google Scholar

[6]

P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, L. Northrop, D. Schmidt, K. Sullivan, and K. Wallnau. Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon, June 2006.

Google Scholar

[7]

I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33--38, New York, NY, USA, 2002. ACM.

Digital Library

Google Scholar

[8]

H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179--188. ACM Press, November 2004.

Digital Library

Google Scholar

[9]

H. Giese, S. Henkler, M. Hirsch, V. Roubin, and M. Tichy. Modeling techniques for software-intensive systems. In Designing Software-Intensive Systems: Methods and Principles. Langston University, OK, 2008.

Google Scholar

[10]

H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pages 38--47. ACM Press, September 2003.

Digital Library

Google Scholar

[11]

C. Henke, M. Tichy, T. Schneider, J. Böcker, and W. Schäfer. Organization and control of autonomous railway convoys. In Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan, 2008.

Google Scholar

[12]

S. Henkler, M. Hirsch, C. Priesterjahn, and W. Schäfer. Modeling and verifying dynamic communication structures based on graph transformations. In G. Engels, M. Luckey, and W. Schäfer, editors, Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn, volume 159 of LNI, pages 153--164. GI, 2010.

Google Scholar

[13]

J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In L. C. Briand and A. L. Wolf, editors, Workshop on the Future of Software Engineering, FOSE 2007, May 23--25, 2007, Minneapolis, MN, USA, pages 259--268, 2007.

Digital Library

Google Scholar

[14]

E. Münch, P. Adelt, M. Krüger, B. Kleinjohann, and A. Trächtler. Hybrid planning and hierarchical optimization of mechatronic systems. In Proceedings of the International Conference on Control, Automation and Systems (ICCAS), Seoul, Korea, 14-17 Oct. 2008.

Crossref

Google Scholar

[15]

F. Nafz, F. Ortmeier, H. Seebach, J.-P. Steghöfer, and W. Reif. A universal self-organization mechanism for role-based organic computing systems. In ATC '09: Proceedings of the 6th International Conference on Autonomic and Trusted Computing, pages 17--31, Berlin, Heidelberg, 2009. Springer-Verlag.

Digital Library

Google Scholar

[16]

E. D. Nitto, C. Ghezzi, A. Metzger, M. P. Papazoglou, and K. Pohl. A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng., 15(3--4):313--341, 2008.

Digital Library

Google Scholar

[17]

C. Priesterjahn, M. Tichy, S. Henkler, M. Hirsch, and W. Schäfer. Fujaba4eclipse Real-Time Tool Suite. In Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), LNCS, pages 1--7. Springer, 2009. to appear.

Digital Library

Google Scholar

[18]

F. J. Rammig. Towards self-coordinating ubiquitous computing environments. In Embedded and Ubiquitous Computing, volume 4096 of Lecture Notes in Computer Science, pages 2--13. Springer Berlin / Heidelberg, 2006.

Crossref

Google Scholar

[19]

W. Schäfer and H. Wehrheim. The challenges of building advanced mechatronic systems. In Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, pages 72--84. IEEE Computer Society, 2007.

Digital Library

Google Scholar

[20]

J. Sifakis. Safety, security and quality. ACM Comput. Surv., page 124, 1996.

Digital Library

Google Scholar

Cited By

View all

Gezgin TEtzien CHenkler SRettberg A(2012)Towards a Rigorous Modeling Formalism for Systems of SystemsProceedings of the 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops10.1109/ISORCW.2012.42(204-211)Online publication date: 11-Apr-2012
https://dl.acm.org/doi/10.1109/ISORCW.2012.42

Index Terms

Engineering self-coordinating software intensive systems
1. Software and its engineering

Recommendations

Harmonization of software engineering and system engineering standards
ISESS '95: Proceedings of the 2nd IEEE Software Engineering Standards Symposium

Software is increasingly performing vital functions in systems such as consumer products, military, telecommunication, medical, and banking. However, software engineering and conventional engineering have not been integrated into a cohesive and ...
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems
ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering

The software of mechatronic systems interacts with the system's physical environment. In such systems, an incorrect software may cause harm to human life. As a consequence, software engineering methods for developing such software need to enable ...
Quality requirements engineering for systems and software architecting: methods, approaches, and tools

Requirements engineering and software architecture are quite mature software engineering sub-disciplines, which often seem to be disconnected for many reasons and it is difficult to perceive the impact of functional and non-functional requirements on ...

Comments

Information & Contributors

Information

Published In

FoSER '10: Proceedings of the FSE/SDP workshop on Future of software engineering research

November 2010

460 pages

ISBN:9781450304276

DOI:10.1145/1882362

General Chair:
Gruia-Catalin Roman
Washington University in St. Louis, USA
,
Program Chair:
Kevin Sullivan
University of Virginia, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 November 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIGSOFT/FSE'10

Sponsor:

SIGSOFT

SIGSOFT/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering

November 7 - 8, 2010

New Mexico, Santa Fe, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
177
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gezgin TEtzien CHenkler SRettberg A(2012)Towards a Rigorous Modeling Formalism for Systems of SystemsProceedings of the 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops10.1109/ISORCW.2012.42(204-211)Online publication date: 11-Apr-2012
https://dl.acm.org/doi/10.1109/ISORCW.2012.42

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

References

Cited By

Index Terms

Recommendations

Harmonization of software engineering and system engineering standards

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

Quality requirements engineering for systems and software architecting: methods, approaches, and tools

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations