Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Model checking
Bounded Model Checking Using Satisfiability Solving
Formal Methods in System Design
A Giotto-Based Helicopter Control System
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Boolean and Cartesian Abstraction for Model Checking C Programs
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
HYTECH: A Model Checker for Hybrid Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Directed explicit-state model checking in the validation of communication protocols
International Journal on Software Tools for Technology Transfer (STTT)
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Specification and Verification of Dynamic Communication Systems
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Formal Software Analysis Emerging Trends in Software Model Checking
FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
SMT-COMP: satisfiability modulo theories competition
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A Future for Software Engineering?
FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Vision: testing of mechatronics software using agile simulation
Proceedings of the 3rd international workshop on Automation of software test
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Engineering self-coordinating software intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
Ontology-Driven Software Engineering
Model-driven development with Mechatronic UML
Graph transformations and model-driven engineering
Extending sysML with AADL concepts for comprehensive system architecture modeling
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
SafeSlice: a model slicing and design safety inspection tool for SysML
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Configuration of mechatronic multi product lines
Proceedings of the 3rd international workshop on Variability & Composition
Real-Time coordination patterns for advanced mechatronic systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Integrating Production Automation Expert Knowledge Across Engineering Domains
International Journal of Distributed Systems and Technologies
A discipline-spanning development process for self-adaptive mechatronic systems
Proceedings of the 2013 International Conference on Software and System Process
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Mechatronics is an engineering discipline integrating the fields of mechanical engineering, electrical engineering and computer science. While the word "mechatronics" already has a long history, it is only the last ten years that we see their application all around us. Cars, CD players, washing machines, railways are all examples of mechatronic systems. The main characteristic (and driving force) of recent advances is the progressively tighter coupling of mechanic and electronic components with software. This makes software engineering (together with network technology) the main computer science discipline involved in mechatronics. In this paper we survey current developments and discuss future trends in mechatronics, in particular from a software engineering point of view. The future of mechatronics will specifically see a move towards a high degree of adaptibility and self-organisation. This poses new challenges on software engineering, especially on modelling, code generation and analysis. We exemplify existing as well as future strands by a collaborative research and development project of a mechatronic rail system from the University of Paderborn.