Author:
Arm J.,Bradac Z.,Misik S.,Streit J.
Subject
Control and Systems Engineering
Reference12 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Ayestaran, I., Nicolas, C.F., Perez, J., Larrucea, A., and Puschner, P. (2014). Modeling and simulated fault injection for time-triggered safety-critical embedded systems. In 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 180–187. doi:10.1109/ISORC.2014. 9.
3. Cao, Y., Shao, Z., Wang, M., Xue, C.J., Chen, Y., Wei, H., and Wang, T. (2008). A formal specification and verification framework for designing and verifying reliable and dependable software for computerized numerical control (cnc) systems. In 2008 The 28th International Conference on Distributed Computing Systems, 269– 276. doi:10.1109/ICDCS.2008.21.
4. Docekal, T. and Slanina, Z. (2017). Control system based on freertos for data acquisition and distribution on swarm robotics platform. In 2017 18th International Carpathian Control Conference (ICCC), 434–439. doi: 10.1109/CarpathianCC.2017.7970439.
5. Enoiu, E.P., Cauevic, A., Sundmark, D., and Pettersson, P. (2016). A controlled experiment in testing of safety-critical embedded software. In 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 1–11. doi:10.1109/ICST.2016.15.