Modeling distributed real-time systems with MAST 2
暂无分享,去创建一个
Patricia López Martínez | José M. Drake | J. Javier Gutiérrez | Michael González Harbour | J. Carlos Palencia | M. G. Harbour | P. Martínez | J. Palencia | J. Drake
[1] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.
[2] Christian Fraboul,et al. Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach , 2010, IEEE Transactions on Industrial Informatics.
[3] Paul Prisaznuk,et al. ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.
[4] John P. Lehoczky,et al. Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[5] Insup Lee,et al. Formal modeling and analysis of the AFDX frame management design , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).
[6] Michael González Harbour,et al. RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet , 2005, Ada-Europe.
[7] Marco Spuri,et al. Holistic Analysis for Deadline Scheduled Real-Time Distributed Systems , 1996 .
[8] J. Javier Gutiérrez,et al. MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.
[9] Julio L. Medina Pasaje,et al. Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE , 2011, Ada-Europe.
[10] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[11] Rolf Ernst,et al. A framework for modular analysis and exploration of heterogeneous embedded systems , 2006, Real-Time Systems.
[12] J. Javier Gutiérrez,et al. Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling , 2010, ESA.
[13] Laurent Nana,et al. Cheddar: a flexible real time scheduling framework , 2004 .
[14] Zhang Jiandong,et al. Modelling and performance analysis of AFDX based on Petri Net , 2010, 2010 2nd International Conference on Future Computer and Communication.