A real-time semantics for the IEC 61499 standard
暂无分享,去创建一个
Valeriy Vyatkin | Per Lindgren | Marcus Lindner | Andreas Lindner | Luís Miguel Pinho | David Pereira
[1] Valeriy Vyatkin,et al. Time-Complemented Event-Driven Architecture for Distributed Automation Systems , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[2] R. Stephenson. A and V , 1962, The British journal of ophthalmology.
[3] Alois Zoitl,et al. Real-Time Execution for IEC 61499 , 2008 .
[4] Alan Burns,et al. A Schedulability Compatible Multiprocessor Resource Sharing Protocol -- MrsP , 2013, 2013 25th Euromicro Conference on Real-Time Systems.
[5] Jean-Marc Roussel,et al. A formal semantics for Grafcet specifications , 2011, 2011 IEEE International Conference on Automation Science and Engineering.
[6] Per Lindgren,et al. RTFM-core: Language and implementation , 2015, 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA).
[7] Sebastian Engell,et al. A Unifying Semantics for Sequential Function Charts , 2004, SoftSpez Final Report.
[8] Per Lindgren,et al. RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499 , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
[9] A. Luder,et al. Mapping of IEC 61499 function blocks to automation protocols within the TORERO approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.
[10] Alois Zoitl,et al. Enhanced real-time execution of modular control software based on IEC 61499 , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..
[11] Daniel Kroening,et al. A Survey of Automated Techniques for Formal Software Verification , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[12] Kim G. Larsen,et al. Real-time specifications , 2013, International Journal on Software Tools for Technology Transfer.
[13] Per Lindgren,et al. Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).
[14] Johan Eriksson,et al. SRP-DM scheduling of component-based embedded real-time software , 2011 .
[15] Theodore P. Baker,et al. A stack-based resource allocation policy for realtime processes , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[16] Valeriy Vyatkin,et al. Real-time execution of function blocks for Internet of Things using the RTFM-kernel , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).
[17] H. S. Osborne,et al. The international electrotechnical commission , 1953, Electrical Engineering.