SADT: structured analysis and design technique
SADT: structured analysis and design technique
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Introduction to Physical Modeling with Modelica
Introduction to Physical Modeling with Modelica
Functional Specification of Real-Time and Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
A Semantic Model for Computer-Based Spatio-temporal Systems
ECBS '09 Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
A Compositional Mathematical Model of Machines Transporting Rigid Objects
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Model-checking real-time control programs: verifying LEGO® MINDSTROMS™ system using UPPAL
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Hi-index | 0.00 |
Manufacturing systems integrate electro-mechanical components with software to fulfill certain production tasks. Due to this combination of computer science and traditional engineering, formal models of embedded systems are often inappropriate for the description and analysis of manufacturing systems. This is especially prominent on an abstract level, where computation and communication are not of primary concern, but rather the material the system is processing. In this paper, we introduce an abstract formal model of manufacturing systems based on the material flow, i.e., the relation between incoming and outgoing material over time. The formalization supports compositional reasoning and the comparison of specifications with more concrete models (implementations). This provides a foundation for the formally founded conceptual modeling of manufacturing systems and the reasoning about the correctness of their realization. The former is evaluated by a prototypical tool implementation and a case study.