Combining IEC 61499 model-based design with component-based architecture for robotics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7628 LNAI, Issue , 2012, Pages 349-360

  Yoong, Li Hsien ^a   Bhatti, Zeeshan E ^a   Roop, Partha S ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

IEC 61499; model based design; Robotic Technology Component; synchronous programs

Indexed keywords

AUTOMATIC CODE GENERATIONS; COMPONENT SPECIFICATION; COMPONENT-BASED ARCHITECTURE; FUNCTION BLOCK; IEC 61499; IEC 61499 STANDARD; INDUSTRIAL AUTOMATION; MODEL DRIVEN APPROACH; MODEL-BASED DESIGN; ROBOTIC SYSTEMS; ROBOTIC TECHNOLOGIES; SOFTWARE COMPONENT; SYNCHRONOUS PROGRAM;

REUSABILITY; ROBOTS; SPECIFICATIONS; STANDARDS; SYSTEMS ANALYSIS;

ROBOTICS;

EID: 84868028784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34327-8_32     Document Type: Conference Paper

References (14)

1. Amey, P., Dion, B.: Combining model-driven design with diverse formal verification. In: 3rd European Congress on Embedded Real Time Software, Toulouse (January 2006)
2. Ando, N., Suehiro, T., Kotoku, T.: A Software Platform for Component Based RT-System Development: OpenRTM-Aist. In: Carpin, S., Noda, I., Pagello, E., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2008. LNCS (LNAI), vol. 5325, pp. 87-98. Springer, Heidelberg (2008)
3. Bhatti, Z.E.: A Model-Driven Approach for Safety Critical Systems. M.E. thesis, Department of Electrical and Computer Engineering, University of Auckland (2011), https://researchspace.auckland.ac.nz/handle/2292/6421
4. Bhatti, Z.E., Sinha, R., Roop, P.S.: Observer based verification of IEC 61499 function blocks. In: IEEE International Conference on Industrial Informatics (INDIN), pp. 609-614 (July 2011)
5. Biggs, G., Ando, N., Kotoku, T.: Coordinating Software Components in a Component-Based Architecture for Robotics. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol. 6472, pp. 168-179. Springer, Heidelberg (2010)
6. International Electrotechnical Commission, Geneva: International Standard IEC 61499-1: Function blocks-Part 1: Architecture, 1st edn. (January 2005)
7. Kuo, M.M.Y., Sinha, R., Roop, P.S.: Efficient WCRT analysis of synchronous programs using reachability. In: 48th ACM/IEEE Design Automation Conference (DAC), San Diego, pp. 480-485 (June 2011)
8. Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems. LNCS, vol. 891. Springer, Heidelberg (1995)
9. Microsoft: MSDN: Microsoft Visual Studio Extensibility Developer Center (2010), http://msdn.microsoft.com/en-us/vstudio/vextend.aspx
10. Object Management Group: Robotic Technology Component Specification, Version 0 (April 2008), http://www.omg.org/spec/RTC
11. Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19-25 (2003)
12. Yoong, L.H., Roop, P.S., Salcic, Z.: Efficient implementation of IEC 61499 function blocks. In: IEEE International Conference on Industrial Technology (ICIT), Gippsland (February 2009)
13. Yoong, L.H., Roop, P.S., Vyatkin, V., Salcic, Z.: A synchronous approach for IEC 61499 function block implementation. IEEE Transactions on Computers 58(12), 1599-1614 (2009)
14. Yoong, L.H., Shaw, G.D., Roop, P.S., Salcic, Z.: Synthesizing globally asynchronous locally synchronous systems with IEC 61499. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews Preprint(99), 1-13 (2012)