A simulation-based software development methodology for distributed real-time systems

摘要: Powered by the rapid advance of computer, network, and sensor/actuator technologies, distributed real-time systems that continually autonomously control react to environment have been widely used. The combination temporal requirements, concurrent environmental entities, high reliability together with processing make software these extremely hard design difficult verify. In this work, we developed a simulation-based development methodology manage complexity software. This methodology, based on discrete event system specification (DEVS), overcomes “incoherence problem” between different stages emphasizing “model continuity” through process. Specifically, techniques so same models are designed can be tested analyzed simulation methods then easily deployed target for execution. To improve traditional testing process where embedded needs hooked up real sensor/actuators placed in physical meaningful test analysis, virtual allows effectively environment, using sensor/actuators. Within stepwise aspects, such as logic behaviors, incrementally. Based autonomous robotic is developed. has successfully supported investigation several systems. One them “dynamic team formation” which mobile robots search each other, form dynamically self-organization. Another scalable robot convoy maintain line formation coordinated way.