An approach to implement a Programmable Logic Controller from real-time software components
暂无分享,去创建一个
[1] Christos Tranoris,et al. A tool supported engineering process for developing control applications , 2006, Comput. Ind..
[2] V. Vyatkin,et al. Modelling of IEC 61499 function blocks a clue to their verification , 2000 .
[3] Dinesh Kumar,et al. Behaviour analysis and resource optimisation for an industrial system , 2007 .
[4] Sanjoy K. Baruah,et al. Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.
[5] Mohamed Khalgui,et al. A heuristic based method for automatic deployment of distributed component based applications , 2006, 2006 International Symposium on Industrial Embedded Systems.
[6] Georg Frey,et al. Development process for distributed automation systems combining UML and IEC 61499 , 2007, Int. J. Manuf. Res..
[7] Mohamed Khalgui,et al. Component based deployment of industrial control systems: a hybrid scheduling approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[8] Valeriy Vyatkin. The potential impact of the IEC61499 standard on the progress of distributed intelligent automation , 2006, Int. J. Manuf. Technol. Manag..
[9] Marco Spuri,et al. Deadline Scheduling for Real-Time Systems , 2011 .
[10] Lothar Thiele,et al. On the Complexity of Scheduling Conditional Real-Time Code , 2001, WADS.
[11] Too-Seng Tia,et al. Assigning real-timle tasks and resources to distributed systems , 1995 .
[12] Ivica Crnkovic,et al. Building Reliable Component-Based Software Systems , 2002 .
[13] Jean-Marc Jézéquel,et al. Applying CLP to Predict Extra-Functional Properties of Component-Based Models , 2004, ICLP.
[14] Kleanthis Thramboulidis,et al. Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.
[15] Joseph Y.-T. Leung,et al. On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.
[16] Valeriy Vyatkin,et al. Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..
[17] Hervé Guéguen,et al. A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .
[18] Mohamed Khalgui,et al. A Schedulability Analysis of an IEC-61499 Control Application , 2006 .
[19] Mohamed Khalgui,et al. A contribution to the validation of complex real-time systems , 2004 .
[20] Kleanthis Thramboulidis,et al. Model driven development of distributed control applications , 2007 .
[21] Valeriy Vyatkin,et al. Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..
[22] Joseph Y.-T. Leung,et al. Scheduling real-time tasks: algorithms and complexity , 2004 .
[23] Mohamed Khalgui,et al. Adaptable OPC-XML contracts taking into account network traffic , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.
[24] Hiroaki Takada,et al. μITRON for small-scale embedded systems , 1995, IEEE Micro.