-
3
-
-
84889980078
-
From synchronous specifications to statically-scheduled hard real-time implementations
-
S. K. Shukla and J.-P. Talpin, Eds. Springer, chapter 8
-
D. Potop-Butucaru, R. De Simone, and Y. Sorel, "From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations," in Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, S. K. Shukla and J.-P. Talpin, Eds. Springer, 2010, p. 34, chapter 8.
-
(2010)
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
, pp. 34
-
-
Potop-Butucaru, D.1
De Simone, R.2
Sorel, Y.3
-
4
-
-
0003622855
-
-
Ph.D. dissertation, Massachusetts Institute of Technology
-
D. S. Johnson, "Near-optimal bin packing algorithms," Ph.D. dissertation, Massachusetts Institute of Technology, 1973.
-
(1973)
Near-optimal Bin Packing Algorithms
-
-
Johnson, D.S.1
-
5
-
-
70350521418
-
-
Springer, October
-
S. Sentilles, A. Vulgarakis, T. Bureš, J. Carlson, and I. Crnković, "A Component Model for Control-Intensive Distributed Embedded Systems." Springer, October 2008, pp. 310-317.
-
(2008)
A Component Model for Control-Intensive Distributed Embedded Systems
, pp. 310-317
-
-
Sentilles, S.1
Vulgarakis, A.2
Bureš, T.3
Carlson, J.4
Crnković, I.5
-
6
-
-
84864069876
-
FASA: A scalable software framework for distributed control systems
-
ACM, June
-
M. Oriol, M. Wahler, R. Steiger, S. Stoeter, E. Vardar, H. Koziolek, and A. Kumar, "FASA: a scalable software framework for distributed control systems," in Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems (ISARCS'12). ACM, June 2012, pp. 51-60.
-
(2012)
Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems (ISARCS'12)
, pp. 51-60
-
-
Oriol, M.1
Wahler, M.2
Steiger, R.3
Stoeter, S.4
Vardar, E.5
Koziolek, H.6
Kumar, A.7
-
7
-
-
22444447623
-
PID control system analysis, design, and technology
-
K. H. Ang, G. Chong, and Y. Li, "PID control system analysis, design, and technology," IEEE transaction on control system technology, vol. 13, no. 4, pp. 559-576.
-
IEEE Transaction on Control System Technology
, vol.13
, Issue.4
, pp. 559-576
-
-
Ang, K.H.1
Chong, G.2
Li, Y.3
-
8
-
-
84903477878
-
4DIAC integration into the fasa project: A success story of increased maintainability and modularity
-
V. Domova, E. Ferranti, T. de Gooijer, and A. Vulgarakis, "4DIAC integration into the FASA project: a success story of increased maintainability and modularity," in 4DIAC Workshop, 18th IEEE International Conference on Emerging Technologies and Factory Automation, 2013.
-
(2013)
4DIAC Workshop, 18th IEEE International Conference on Emerging Technologies and Factory Automation
-
-
Domova, V.1
Ferranti, E.2
De Gooijer, T.3
Vulgarakis, A.4
-
10
-
-
84870788779
-
-
(Last Accessed: 2013-10-07)
-
"The POSIX standard," http://pubs.opengroup.org/onlinepubs/ 9699919799/, (Last Accessed: 2013-10-07).
-
The POSIX Standard
-
-
-
11
-
-
84903434048
-
-
(Last Accessed: 2013-10-07)
-
"Comparison between POSIX and System V semaphores," http://www. linuxdevcenter.com/pub/a/linux/2007/05/24/semaphores-in-linux.html? page=4, (Last Accessed: 2013-10-07).
-
Comparison between POSIX and System v Semaphores
-
-
-
12
-
-
70349696805
-
-
(Last Accessed: 2013-10-07)
-
"High Resolution Timers," http://elinux.org/High Resolution Timers, (Last Accessed: 2013-10-07).
-
High Resolution Timers
-
-
-
13
-
-
84903449533
-
-
(Last Accessed: 2013-10-23)
-
"Intel® CoreTM i7-2620M," http://ark.intel.com/products/ 52231, (Last Accessed: 2013-10-23).
-
Intel® CoreTM i7-2620M
-
-
-
14
-
-
84903449006
-
-
(Last Accessed: 2013-10-07)
-
"PREEMPT RT patch," https://rt.wiki.kernel.org/index.php, (Last Accessed: 2013-10-07).
-
PREEMPT RT Patch
-
-
-
15
-
-
84903487329
-
-
(Last Accessed: 2013-10-23)
-
"Real-time task priorities in Linux," www.linuxjournal.com/ magazine/ real-time-linux-kernel-scheduler, (Last Accessed: 2013-10-23).
-
Real-time Task Priorities in Linux
-
-
-
16
-
-
84903450298
-
-
(Last Accessed: 2013-10-07)
-
"KernelShark," http://people.redhat.com/srostedt/kernelshark/ HTML/, (Last Accessed: 2013-10-07).
-
KernelShark
-
-
-
17
-
-
84883320020
-
System synthesis from uml/marte models: The pharaon approach
-
H. Posadas, P. P. nil, A. Nicolás, and E. Villar, "System synthesis from UML/MARTE models: The PHARAON approach," in Electronic System Level Synthesis Conference (ESLsyn), 2013.
-
(2013)
Electronic System Level Synthesis Conference (ESLsyn)
-
-
Posadas, H.1
Nil, P.P.2
Nicolás, A.3
Villar, E.4
-
18
-
-
73449094648
-
Multi-core code generation from interface based hierarchy
-
J. Piat, S. S. Bhattacharyya, M. Pelcat, and M. Raulet, "Multi-core code generation from interface based hierarchy," in Proceedings of the 2009 Conference on Design and Architectures for Signal and Image Processing (DASIP), 2009.
-
(2009)
Proceedings of the 2009 Conference on Design and Architectures for Signal and Image Processing (DASIP)
-
-
Piat, J.1
Bhattacharyya, S.S.2
Pelcat, M.3
Raulet, M.4
-
19
-
-
84862944290
-
Deriving high-performance real-time multicore systems based on simulink applications
-
M. Cha, K. H. Kim, C.-J. Lee, D. Ha, and B. S. Kim, "Deriving high-performance real-time multicore systems based on simulink applications," in IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, 2011, pp. 267-274.
-
(2011)
IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing
, pp. 267-274
-
-
Cha, M.1
Kim, K.H.2
Lee, C.-J.3
Ha, D.4
Kim, B.S.5
-
20
-
-
64549140677
-
Hardware-dependent software synthesis for many-core embedded systems
-
IEEE Press
-
S. Abdi, G. Schirner, I. Viskic, H. Cho, Y. Hwang, L. Yu, and D. Gajski, "Hardware-dependent software synthesis for many-core embedded systems," in Proceedings of the 2009 Asia and South Pacific Design Automation Conference. IEEE Press, 2009, pp. 304-310.
-
(2009)
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
, pp. 304-310
-
-
Abdi, S.1
Schirner, G.2
Viskic, I.3
Cho, H.4
Hwang, Y.5
Yu, L.6
Gajski, D.7
-
21
-
-
39749090516
-
Alternatives for execution semantics of iec6149
-
V. Vyatkin, V. Dubinin, C. Veber, and L. Ferrarini, "Alternatives for execution semantics of IEC6149," in The 5th IEEE Conference on Industrial Informatics, 2007.
-
(2007)
The 5th IEEE Conference on Industrial Informatics
-
-
Vyatkin, V.1
Dubinin, V.2
Veber, C.3
Ferrarini, L.4
-
22
-
-
84862085072
-
Towards parallel execution of iec 61131 industrial cyber-physical systems applications
-
Los Alamitos, CA, USA: IEEE Computer Society
-
A. Canedo and M. A. Al-Faruque, "Towards parallel execution of IEC 61131 industrial cyber-physical systems applications," in Design, Automation & Test in Europe Conference & Exhibition (DATE). Los Alamitos, CA, USA: IEEE Computer Society, 2012, pp. 554-557.
-
(2012)
Design, Automation & Test in Europe Conference & Exhibition (DATE)
, pp. 554-557
-
-
Canedo, A.1
Al-Faruque, M.A.2
-
23
-
-
79960204163
-
A survey of hard real-time scheduling for multiprocessor systems
-
Oct
-
R. I. Davis and A. Burns, "A survey of hard real-time scheduling for multiprocessor systems," ACM Comput. Surv., vol. 43, no. 4, pp. 35:1-35:44, Oct. 2011.
-
(2011)
ACM Comput. Surv.
, vol.43
, Issue.4
, pp. 351-3544
-
-
Davis, R.I.1
Burns, A.2
-
24
-
-
84860475431
-
Multisource software on multicore automotive ecus - Combining runnable sequencing with task scheduling
-
A. Monot, N. Navet, B. Bavoux, and F. Simonot-Lion, "Multisource software on multicore automotive ECUs - combining runnable sequencing with task scheduling," IEEE Transactions on Industrial Electronics, vol. 59, no. 10, pp. 3934-3942, 2012.
-
(2012)
IEEE Transactions on Industrial Electronics
, vol.59
, Issue.10
, pp. 3934-3942
-
-
Monot, A.1
Navet, N.2
Bavoux, B.3
Simonot-Lion, F.4
-
25
-
-
35348867627
-
A hybrid real-time scheduling approach for large-scale multicore platforms
-
IEEE Computer Society
-
J. M. Calandrino, J. H. Anderson, and D. P. Baumberger, "A hybrid real-time scheduling approach for large-scale multicore platforms," in 19th Euromicro Conference on Real-Time Systems. IEEE Computer Society, 2007, pp. 247-258.
-
(2007)
19th Euromicro Conference on Real-Time Systems
, pp. 247-258
-
-
Calandrino, J.M.1
Anderson, J.H.2
Baumberger, D.P.3
|