Scuola superiore sant'anna

Professore Ordinario

Marco Di Natale

Istituto TeCIP
marco.dinatale@santannapisa.it
050 882020
Area CNR
Link : Personal page

Download curriculum vitae

PROFILO
PUBBLICAZIONI
RICERCA

Professore ordinario, laboratorio ReTiS, Istituto TeCIP

Contributo su Rivista

Di Natale, M.; Chang, L. P.; Chen, Y. S.
Introduction to the special issues on embedded systems in applied computing
1 JOURNAL OF SYSTEMS ARCHITECTURE (2020)
Volume nr. : 109
Issue nr. : 1
Pazzaglia, P.; Sun, Y.; Di Natale, M.
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks
1-26 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2020)
Volume nr. : 20
Issue nr. : 1
Sun, Youcheng; Di Natale, Marco
Pessimism in multicore global schedulability analysis
142-152 JOURNAL OF SYSTEMS ARCHITECTURE (2019)
Volume nr. : 97
Issue nr. : 1
Al-Bayati, Z.; Sun, Y.; Zeng, H.; Di Natale, M.; Zhu, Q.; Meyer, B. H.
Partitioning and selection of data consistency mechanisms for multicore real-time systems
1-28 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Volume nr. : 18
Issue nr. : 1
Peng, C.; Zeng, H.; Di Natale, M.
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
598-638 REAL-TIME SYSTEMS (2019)
Volume nr. : 55
Issue nr. : 1
Biondi, Alessandro; Marco Di, Natale; Buttazzo, Giorgio C.; Pazzaglia, Paolo
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance
1-26 ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS (2018)
Volume nr. : 2
Issue nr. : 1
Bernardeschi, Cinzia; Di Natale, Marco; Dini, Gianluca; Palmieri, Maurizio
Verifying data secure flow in AUTOSAR models
269-289 JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES (2018)
Volume nr. : 14
Issue nr. : 1
Sun, Youcheng; Di Natale, Marco
Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks
1-19 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2017)
Volume nr. : 16
Issue nr. : 1
Biondi, Alessandro; Di Natale, Marco; Buttazzo, Giorgio
Response-Time Analysis of Engine Control Applications under Fixed-Priority Scheduling
1-1 IEEE TRANSACTIONS ON COMPUTERS (2017)
Issue nr. : 1
Di Natale, Marco; Perillo, David; Chirico, Francesco; Sindico, Andrea; Sangiovanni-Vincentelli, Alberto
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
1-23 SOFTWARE AND SYSTEMS MODELING (2016)
Volume nr. : 17
Issue nr. : 1
Di Natale, Marco; Perillo, David; Chirico, Francesco; Sindico, Andrea; Sangiovanni-Vincentelli, Alberto
A Model-Based Approach for the Synthesis of Software to Firmware Adapters for use with Automatically Generated Components
33 SOFTWARE AND SYSTEMS MODELING (2016)
Issue nr. : 1
Ernst, Rolf; Di Natale, Marco
Mixed Criticality Systems-A History of Misconceptions?
65-74 IEEE DESIGN & TEST (2016)
Volume nr. : 33
Issue nr. : 1
Deng, Peng; Zhu, Qi; Davare, Abhijit; Mourikis, Anastasios; Liu, Xue; Di Natale, Marco
An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems
3552-3566 IEEE TRANSACTIONS ON COMPUTERS (2016)
Volume nr. : 65
Issue nr. : 1
Haibo Zeng; Marco Di Natale
Computing periodic request functions to speed-up the analysis of non-cyclic task models
35 REAL-TIME SYSTEMS (2015)
Issue nr. : 1
Han, Gang; Zeng, Haibo; Di Natale, Marco; Liu, Xue; Dou, Wenhua
Experimental evaluation and selection of data consistency mechanisms for hard real-time applications on multicore platforms
903-918 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2014)
Volume nr. : 10
Issue nr. : 1
Zeng, Haibo; Di Natale, Marco; Zhu, Qi
Minimizing stack and communication memory usage in real-time embedded applications
1-25 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2014)
Volume nr. : 13
Issue nr. : 1
M. Di Natale; Q. Zhu; A. Sangiovanni-Vincentelli; S. Tripakis
Optimized implementation of synchronous models on industrial LTTA systems
14 JOURNAL OF SYSTEMS ARCHITECTURE (2014)
Issue nr. : 1
E. Azketa; J.J. Gutiérrez; M. Di Natale; L. Almeida; M. Marcos
Algoritmo genético permutacional para el despliegue y la planificación de sistemas de tiempo real distribuidos
12 REVISTA IBEROAMERICANA DE AUTOMÁTICA E INFORMÁTICA INDUSTRIAL (2013)
Issue nr. : 1
H. Zeng; M. Di Natale
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization
644-661 IEEE TRANSACTIONS ON COMPUTERS (2013)
Volume nr. : 62
Issue nr. : 1
G. Han; M. Di Natale; H. Zeng; X. Liu; W. Dou
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
13 JOURNAL OF SYSTEMS ARCHITECTURE (2013)
Issue nr. : 1
Q. Zhu; H. Zeng; W. Zheng; M. Di Natale; A Sangiovanni-Vincentelli
Optimization of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
14 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2012)
Volume nr. : 11
Issue nr. : 1
H. Zeng; M. Di Natale; A. Ghosal; A. Sangiovanni-Vincentelli
Schedule Optimization of Time-Triggered Systems Communicating over the FlexRay Static Segment
1-17 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)
Volume nr. : 58/1
Issue nr. : 1
Q. Zhu; Y. Yang; M. Di Natale; E. Scholte; A. Sangiovanni-Vincentelli
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems
16 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Issue nr. : 1
M. Di Natale; L. Guo; H. Zeng; A. Sangiovanni-Vincentelli
Synthesis of Multitask Implementations of Simulink Models with Minimum Delay
637-651 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. : Vol. 6 No. 4
Issue nr. : 1
G. Wang; M. Di Natale; A. Sangiovanni-Vincentelli
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
729-743 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. : Vol. 6 No. 4
Issue nr. : 1
H. Zeng; M. di Natale; P. Giusto; A. Sangiovanni-Vincentelli
Using Statistical Methods to compute the Probability distribution of Message Response Time in Controller Area Network
678-691 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. : Vol. 6 No. 4
Issue nr. : 1
M. DI NATALE; SANGIOVANNI-VINCENTELLI A
Moving from Federated to Integrated Architectures in Automotive: the Role of Standards, Methods and Tools
18 PROCEEDINGS OF THE IEEE IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667 (2010)
Issue nr. : 1
A. SANGIOVANNI-VINCENTELLI; M. DI NATALE
Challenges and Solutions in the Development of Automotive Systems
937-940 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2009)
Volume nr. : 28 (7)
Issue nr. : 1
H. ZENG; M. DI NATALE; P. GIUSTO; A. SANGIOVANNI-VINCENTELLI
Stochastic Analysis of CAN-based Real-time Automotive Systems
388-401 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS Institute of Electrical and Electronics Engineers.IEEE (2009)
Volume nr. : 5
Issue nr. : 1
M. DI NATALE; G. WANG; A. SANGIOVANNI-VINCENTELLI
Improving the size of communication buffers in synchronous models with time constraints
229-240 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS Institute of Electrical and Electronics Engineers.IEEE (2009)
Volume nr. : 5
Issue nr. : 1
M. Di Natale
What CAN go wrong in CAN (timing analysis)
10 SAE INTERNATIONAL JOURNAL OF PASSENGER CARS. ELECTRONIC AND ELECTRICAL SYSTEMS (2009)
Issue nr. : 1
S. TRIPAKIS; C. PINELLO; A. BENVENISTE; A. SANGIOVANNI-VINCENTELLI; P. CASPI; M. DI NATALE
Implementing Synchronous Models on Loosely Time Triggered Architectures
1300-1314 IEEE TRANSACTIONS ON COMPUTERS IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667 (2008)
Volume nr. : 57/10
Issue nr. : 1
M. DI NATALE; V. PAPPALARDO
Buffer optimization in multitask implementations of Simulink models
1-32 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2008)
Volume nr. : 3/7
Issue nr. : 1
E. BINI; M. DI NATALE; G. BUTTAZZO
Sensitivity Analysis for Fixed-Priority Real-Time Systems
5-30 REAL-TIME SYSTEMS (2008)
Volume nr. : 39
Issue nr. : 1
Enrico Bini;Marco Di Natale;Giorgio Buttazzo
Sensitivity analysis for fixed-priority real-time systems
5-30 REAL-TIME SYSTEMS (2008)
Volume nr. : 39
Issue nr. : 1
A. SANGIOVANNI VINCENTELLI; M. DI NATALE
Embedded System Design for Automotive Applications
42-51 COMPUTER (2007)
Volume nr. : 40
Issue nr. : 1
T. CUCINOTTA; M. DI NATALE; D. CORCORAN
An open middleware for smart cards
16 COMPUTER SYSTEMS SCIENCE AND ENGINEERING (2005)
Volume nr. : 20
Issue nr. : 1
Cucinotta, Tommaso; DI NATALE, Marco; David, Corcoran
An open middleware for smart-cards
12 COMPUTER SYSTEMS SCIENCE AND ENGINEERING (2005)
Volume nr. : 20
Issue nr. : 1
Tommaso Cucinotta; Riccardo Brigo; Marco Di Natale
A Fingerprint Matching Algorithm for Programmable Smart Cards
11 INFORMATION SECURITY BULLETIN (2005)
Volume nr. : 10
Issue nr. : 1
S. Mazzini; M. D'Alessandro; M. Di Natale; A. Domenici; G. Lipari; T. Vardanega
HRT-UML: Taking HRT-HOOD onto UML
12 LECTURE NOTES IN COMPUTER SCIENCE (2003)
Issue nr. : 1
P. GAI; G. LIPARI; M. DI NATALE
Stack size minimization for embedded real-time systems-on-a-chip
53-87 DESIGN AUTOMATION FOR EMBEDDED SYSTEMS (2002)
Volume nr. : 7
Issue nr. : 1
L. Palopoli; G. Lipari; L. Abeni; M. Di Natale; P. Ancilotti; F. Conticelli
A tool for simulation and fast prototyping of embedded control systems
9 ACM SIGPLAN NOTICES (2001)
Issue nr. : 1
M. DI NATALE; A. MESCHI
Scheduling Messages with Earliest Deadline Techniques
255-285 REAL-TIME SYSTEMS (2001)
Volume nr. : 20-3
Issue nr. : 1
M. DI NATALE; J. STANKOVIC
Scheduling Distributed Real-Time Tasks with Minimum Jitter
303-316 IEEE TRANSACTIONS ON COMPUTERS IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667 (2000)
Volume nr. : 49/4
Issue nr. : 1
G. Buttazzo; M. Di Natale; P. Ancilotti; M. Spuri
Design and Programming Tools for Time Critical Applications", Real-Time Systems
251-267 REAL-TIME SYSTEMS (1998)
Volume nr. : 14 (3)
Issue nr. : 1
G. Buttazzo; M. Di Natale; P. Ancilotti; M. Spuri
A Development Environment for Hard Real-Time Applications
331-354 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (1996)
Volume nr. : 6
Issue nr. : 1
J.A. STANKOVIC; M. SPURI; M. DI NATALE; G. BUTTAZZO
Implications of Classical Scheduling Results for Real-Time Systems
10 COMPUTER (1995)
Issue nr. : 1

Contributo in Volume

Brandberg, Caroline; Di Natale, Marco
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models
206-222 Principles of Modeling Springer (2018)
Volume nr. : 10760
Issue nr. : 1
Di Natale, Marco
Embedded Software Modeling and Design
68 Embedded Systems Handbook: Embedded Systems Design and Verification CRC Press - Taylor and Francis Group (2018)
Issue nr. : 1
DI NATALE, Marco
Specification and simulation of automotive functionality using AUTOSAR
26 Real-Time Simulation Technologies: Principles, Methodologies, and Applications CRC Press (2017)
Volume nr. : 13
Issue nr. : 1
Antonante, Pasquale; Valverde-Alcalá, Juan; Basagiannis, Stylianos; Di Natale, Marco
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach
141-156 Lecture Notes in Computer Science Volume 10489 LNCS, 2017 - International Conference on Computer Safety, Reliability, and Security Springer (2017)
Volume nr. : 10489
Issue nr. : 1
Di Natale, Marco
Models and Tools for Complex Embedded Software and Systems
52 Electronic Design Automation for IC System Design, Verification, and Testing CRC Press (2016)
Volume nr. : 1
Issue nr. : 1
Alberto Sangiovanni-Vincentelli; Haibo Zeng; Marco Di Natale; Peter Marwedel
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems
16 Embedded Systems Development Springer (2014)
Volume nr. : 20
Issue nr. : 1
M. Di Natale; R. West; J. J. Chen; R. Mangharam
Message from the Program and track chairs
2 IEEE Computer society (2012)
Volume nr. : I
Issue nr. : 1
M. Di Natale
Specification and simulation of automotive functionality using AUTOSAR in Real-time Simulation Technologies: Principles, Methodologies, and Applications
32 CRC Press (2012)
Volume nr. : 1
Issue nr. : 1
T. Nolte; R. Zurawski; I. Bate; R. Passerone; M. Di Natale; E. Uhleman
Message from the conference chairs
2 IEEE Computer society (2011)
Volume nr. : I
Issue nr. : 1
J. Palsberg; G. Min; M. Di Natale
Message from the ICESS-2010 general chairs
2 IEEE Computer Society (2010)
Volume nr. : I
Issue nr. : 1
Sébastien Gérard; Huascar Espinoza; François Terrier; Felice Tufo; Giacomo Gentile; Marco Di Natale; Bran Selic
Modeling Languages for Real-time and Embedded Systems: Requirements and Standards-Based Solutions
20 Model-Based Engineering of Embedded Real-Time Systems (MBEERTS) Springer (2010)
Volume nr. : 1
Issue nr. : 1
M. DI NATALE
Embedded Software Modeling and Design
34 Handbook on Electronic Design Automation for Integrated Circuits CRC Press (2005)
Issue nr. : 1
M. DI NATALE; M.SAKSENA
Schedulability Analysis with UML
24 UML for Real Kluwer Academic Publishers (2003)
Issue nr. : 1
M. DI NATALE; T. CUCINOTTA; S. KOLACHALAM
A modular Open-source Architecture for ICT Services in the Public Administration
6 Electronic Government Springer-Verlag (2003)
Volume nr. : 2378
Issue nr. : 1

Libro(Monografia)/Book

Bernardeschi, Cinzia; Del Vigna, Gabriele; Di Natale, Marco; Dini, Gianluca; Varano, Dario
Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems
101-117 Springer Verlag (2016)
Volume nr. : 9991
Issue nr. : 1
Alberto Sangiovanni-Vincentelli; Haibo Zeng; Marco Di Natale; Peter Marwedel
Embedded Systems Development
223 Springer (2014)
Issue nr. : 1
M. Di Natale; H. Zeng; P. Giusto; A. Ghosal
Understanding and Using the Controller Area Network Communication Protocol
223 Springer (2012)
Issue nr. : 1

Contributo in Atti Convegno (Proceeding)

Casini, D.; Pazzaglia, P.; Biondi, A.; Di Natale, M.; Buttazzo, G.
Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks
1-6 Proceedings - Design Automation Conference Institute of Electrical and Electronics Engineers Inc. (2020)
Volume nr. : 2020-
Issue nr. : 1
Pazzaglia, Paolo; Biondi, Alessandro; DI NATALE, Marco
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time
11 Proceedings 40th IEEE Real-Time Systems Symposium IEEE (2019)
Issue nr. : 1
Pazzaglia, P; Biondi, A; Di Natale, M
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems
1543-1548 PROCEEDINGS - DESIGN, AUTOMATION, AND TEST IN EUROPE CONFERENCE AND EXHIBITION IEEE (2019)
Issue nr. : 1
Biondi, Alessandro; DI NATALE, Marco
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm
240-250 Proceedings of 24th IEEE Real-Time and Embedded Technology and Applications Symposium IEEE (2018)
Issue nr. : 1
Pazzaglia, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; Secchiari, Matteo
A framework for the co-simulation of engine controls and task scheduling
438-452 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer Verlag (2018)
Volume nr. : 10729
Issue nr. : 1
Pazzaglia, Paolo; Pannocchi, Luigi; Biondi, Alessandro; DI NATALE, Marco
Beyond the weakly hard model: Measuring the performance cost of deadline misses
22 Leibniz International Proceedings in Informatics, LIPIcs Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2018)
Volume nr. : 106
Issue nr. : 1
Sun, Youcheng; Di Natale, Marco
Assessing the pessimism of current multicore global fixed-priority schedulability analysis
575-583 Proceedings of the ACM Symposium on Applied Computing ACM (2018)
Issue nr. : 1
Brandberg, Caroline; Di Natale, Marco
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores
1-10 Proceedings 13th IEEE International Symposium on Industrial Embedded Systems IEEE (2018)
Issue nr. : 1
Balsini, Alessio; Natale, Marco Di; Celia, Marco; Tsachouridis, Vassilios
Generation of simulink monitors for control applications from formal requirements
1-9 2017 12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017 - Proceedings Institute of Electrical and Electronics Engineers Inc. (2017)
Issue nr. : 1
Perillo, David; Natale, Marco Di
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation
268-277 Proceedings - International Computer Software and Applications Conference IEEE Computer Society (2017)
Volume nr. : 1
Issue nr. : 1
Bernardeschi, Cinzia; DI NATALE, Marco; Dini, Gianluca; Varano, Dario
Modeling and generation of secure component communications in AUTOSAR
1473-1480 Proceedings of the ACM SAC Conference ACM (2017)
Issue nr. : 1
Biondi, Alessandro; Marco Di Natale, ; Sun, Youcheng; Botta, Stefania
Moving from Single-Core to Multicore: Initial Findings on a Fuel Injection Case Study
10 Proceedings of the SAE Conference SAE International (2016)
Issue nr. : 1
Biondi, Alessandro; Di Natale, Marco; Buttazzo, Giorgio
Performance-driven Design of Engine Control Tasks
10 Proceedings ICCPS Conference IEEE (2016)
Issue nr. : 1
Di Natale, Marco; Silva, Celso Luiz Mendes da; Santos, Max Mauro Dias
On the applicability of an MILP solution for signal packing in CAN-FD
4 Proceedings of the INDIN 2016 Conference IEEE (2016)
Issue nr. : 1
Cremona, Fabio; Lohstroh, Marten; Broman, David; Di Natale, Marco; Lee, Edward A.; Tripakis, Stavros
Step revision in hybrid Co-simulation with FMI
173-183 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 Institute of Electrical and Electronics Engineers Inc. (2016)
Issue nr. : 1
Al-Bayati, Zaid; Sun, Youcheng; Zeng, Haibo; Di Natale, Marco; Zhu, Qi; Meyer, Brett
Task placement and selection of data consistency mechanisms for real-time multicore applications
172-181 Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS Institute of Electrical and Electronics Engineers Inc. (2015)
Volume nr. : 2015-
Issue nr. : 1
Deng, Peng; Zhu, Qi; Cremona, Fabio; Di Natale, Marco; Zeng, Haibo
A model-Based synthesis flow for automotive CPS
198-207 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 Association for Computing Machinery, Inc (2015)
Issue nr. : 1
Morelli, Matteo; Seddik, Yasmina; Di Natale, Marco; Mraidha, Chokri; Tucci-Piergiovanni, Sara
Simulation-driven optimization of real-time control tasks
991-1000 Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015 Institute of Electrical and Electronics Engineers Inc. (2015)
Issue nr. : 1
Paolo Gai, Francesco Esposito, Riccardo Schiavi, Di Natale Marco, Claudio Diglio, Michele Pagano, Carlo Camicia, Luca Carmignani
Towards an open source framework for small engine controls development
10 SAE International (2015)
Issue nr. : 1
Cremona, Fabio; Morelli, Matteo; Di Natale, Marco
TRES: A modular representation of schedulers, tasks, and messages to control simulations in simulink
1940-1947 Proceedings of the ACM Symposium on Applied Computing Association for Computing Machinery (2015)
Volume nr. : 13-17-
Issue nr. : 1
Biondi, Alessandro; Di Natale, Marco; Buttazzo, Giorgio
Response-Time analysis for real-Time tasks in engine control applications
120-129 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 Association for Computing Machinery, Inc (2015)
Issue nr. : 1
Di Natale, Marco; Morelli, Matteo; Cremona, Fabio
Matching execution architecture models with functional models to analyze the time performance of CPS systems
1-6 Proceedings of the 2015 International Conference on Complex Systems Engineering, ICCSE 2015 Institute of Electrical and Electronics Engineers Inc. (2015)
Issue nr. : 1
Matteo Morelli; Marco Di Natale
An MDE Approach for the Design of Platform-Aware Controls in Performance-Sensitive Applications
8 Proceedings of the ETFA Conference 2014 IEEE Computer Society (2014)
Issue nr. : 1
Marco Di Natale; Francesco Chirico; Andrea Sindico; Alberto Sangiovanni-Vincentelli
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink
17 Procesdings of the MODELS conference IEEE Computer Society (2014)
Issue nr. : 1
E. Wozniak; M. Di Natale; H. Zeng; C. Mraidha; S. Tucci; S. Gerard
Assigning Time Budgets to Component Functions in the Design of Time-Critical Automotive Systems
10 Proceedings of the ASE Conference ACM (2014)
Issue nr. : 1
Matteo Morelli; Fabio Cremona; Marco Di Natale
A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems
6 Proceedings of the 5th WATERS Workshop workshop organizers (2014)
Issue nr. : 1
Marco Di Natale; Alberto Sangiovanni-Vincentelli
Are we done with small CPS? Challenges and Rewards in today’s system(s).
4 Proceedings of the CPS20 Workshop Workshop organizers (2014)
Issue nr. : 1
Peng Deng; Qi Zhu; Abhijit Davare; Anastasios Mourikis; Xue Liu; Marco Di Natale
An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems
4 Proceedings of the WiP Session of the ICCPS Conference ICCPS organizers (2014)
Issue nr. : 1
Matteo Morelli; Marco Di Natale
Control and Scheduling Co-Design for a Simulated Quadcopter Robot: A Model-Driven Approach
6 Proceedings of the Simpar Conference Springer (2014)
Issue nr. : 1
Alessandro Biondi; Alessandra Melani; Mauro Marinoni; Marco Di Natale; Giorgio Buttazzo
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling
165-174 Proceedngs Conferenza Euromicro ECRTS 2014 IEEE Computer Society (2014)
Issue nr. : 1
David Perillo; Marco Di Natale
An MDA Approach for the Generation of Glue Code for a Virtual Simulation Environment
4 WiP Session of the SIES Conference 2014 Conference Organizers (2014)
Issue nr. : 1
Peng Deng; Qi Zhu; Marco Di Natale; Haibo Zeng
Task Synthesis for Latency-sensitive Synchronous Block Diagrams
8 Proceedings of the SIES Conference 2014 IEEE Computer Society (2014)
Issue nr. : 1
Chung-Wei Lin; Marco Di Natale; Haibo Zeng; Linli Thi Xuan Phan; Alberto Sangiovanni-Vincentelli
Timing analysis of process graphs with finite communication buffers
10 Proceedings of the RTAS Conference 2013 IEEE (2013)
Issue nr. : 1
Marco Di Natale; Chuansheng Dong; Haibo Zeng
Reality Check: the Need for Benchmarking in RTS and CPS
2 Proceedings of the RTSOPS Workshop 2013 Workshop Organizers (2013)
Issue nr. : 1
Asma Mehiaoui; Ernest Wozniak; Sara Tucci-Piergiovanni; Chokri Mraidha; Marco Di Natale; Haibo Zeng; Jean-Philippe Babau; Laurent Lemarchand; Sébastien Gerard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
10 Proceedings of the LCTES Conference 2013 ACM (2013)
Issue nr. : 1
B. Nahill; A. Ramdial; H. Zeng; M. Di Natale; Z. Zilic
An FPGA Implementation of Wait-Free Data Synchronization Protocols
8 Proceedings of the ETFA Conference 2013 IEEE (2013)
Issue nr. : 1
Qi Zhu; Peng Deng; Marco Di Natale; Haibo Zeng
Robust and extensible task implementations of synchronous finite state machines
6 Proceedings of the DATE Conference 2013 IEEE (2013)
Issue nr. : 1
Zaid Al-bayati; Haibo Zeng; Marco Di Natale; Zonghua Gu
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling
10 Proceedings of the SIES Conference 2013 IEEE (2013)
Issue nr. : 1
M Morelli; F Moro; T Rizano; D Fontanelli; L Palopoli; M Di Natale
A Robotic Vehicle Testbench for the Application of MBD-MDE Development Technologies
4 Proceedings of the WiP Session of the ETFA Conference 2013 ETFA 2013 Organizers (2013)
Issue nr. : 1
Bruno Morelli; Riccardo Schiavi; Claudio Scordino; Paolo Gai; Marco Di Natale
Automatic generation of controls code from models for real-time Linux platforms
8 Proceedings of the 15th Real Time Linux Workshop Open Source Automation Development Lab (2013)
Issue nr. : 1
H. Zeng; M. Di Natale
Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models
10 Proceedings of the Euromicro Conference 2013 IEEE (2013)
Issue nr. : 1
M. Di Natale; H. Zeng
Practical issues with the timing analysis of the Controller Area Network
10 Proceedings of the ETFA Conference 2013 IEEE (2013)
Issue nr. : 1
Matteo Morelli; Marco Di Natale
Generation of Flow-Preserving Orocos Implementations of Simulink/Scicos Models
4 Proceedings of the Workshop On Software Development and Integration in Robotics IEEE (2013)
Issue nr. : 1
Di Natale, Marco; Haibo, Zeng
Efficient Implementation of AUTOSAR Components with Minimal Memory Usage
8 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12) IEEE Computer Society (2012)
Issue nr. : 1
M. Bambagini; M. Di Natale
A Code Generation Framework for Distributed Real-Time Embedded Systems
10 IEEE Industrial Electronics Society (2012)
Issue nr. : 1
Haibo Zeng; Marco Di Natale
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines
10 IEEE Computer Society (2012)
Issue nr. : 1
H. Zeng; Q. Zhu; M. Di Natale
Optimizing stack memory requirements for real-time embedded applications
8 IEEE Industrial Electronics Society (2012)
Issue nr. : 1
A. Sindico; A. Sangiovanni-Vincentelli; M. Di Natale
An Industrial Application of a System Engineering Process Integrating Model-Driven Architecture and Model Based Design
10 Proceedings della Conferenza MODELS 2012 IEEE Computer Society (2012)
Issue nr. : 1
M. Di Natale; H. Zeng
Task Implementation of Synchronous Finite State Machines
6 IEEE Computer Society (2012)
Issue nr. : 1
H. Zeng; M. Di Natale
Mechanisms for Guaranteeing Data Consistency and Flow Preservation in AUTOSAR Software on Multi-Core Platforms
10 IEEE Computer Society (2011)
Issue nr. : 1
A. Sindico; M. Di Natale; G. Panci
Integrating SysML with Simulink using Open-source Model Transformations
10 Springer (2011)
Issue nr. : 1
S., Chakraborty; DI NATALE, Marco; H., Falk; M., Lukasiewycz; F., Slomka
Timing and Schedulability Analysis for distributed automotive control applications
2 Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011 ACM Association for Computing Machinery (2011)
Issue nr. : 1
Enrico Bini; Marco Di Natale
Optimal Period Selection of a Real-Time Task Set
8 (2010)
Issue nr. : 1
H. Zeng; A. Ghosal; M. Di Natale
Timing analysis and optimization of the FlexRay dynamic segment
8 IEEE Computer society (2010)
Issue nr. : 1
A. Ghosal; H. Zeng; Y. Ben-Haim; M. Di Natale
Computing Robustness of FlexRay Schedules to Uncertainties in Design Parameters
6 IEEE Publishing (2010)
Issue nr. : 1
M. Di Natale; H. Zeng
System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces
10 IEEE Computer Society (2010)
Issue nr. : 1
H. Zeng; M. Di Natale
Improving Real-Time Feasibility Analysis for Use in Linear Optimization Methods
10 IEEE Computer Society (2010)
Issue nr. : 1
M. Di Natale; H. Zeng
Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay
10 Society of Automotive Engineering (2010)
Issue nr. : 1
P. Gai; M. Di Natale; Huascar Espinoza; Francois Terrier; Sébastien Gérard; Reinhold Heckmann; Christian Ferdinand; Giacomo Gentile; Nicola Ariotti
Time Predictability from System-level Design to Task Implementations in Automotive Applications
10 Society of Automotive Engineering (2010)
Issue nr. : 1
H. Zeng; M. Di Natale; P. Giusto; A. Sangiovanni-Vincentelli
Statistical Analysis of Controller Area Network Message Response Times
10 IEEE Publishing (2009)
Issue nr. : 1
Q. Zhu; Y. Yang; E. Scholte; M. Di Natale; A. Sangiovanni-Vincentelli
Optimizing Extensibility in Hard Real-time Distributed Systems
10 IEEE Publishing (2009)
Issue nr. : 1
G. Wang; M. Di Natale; P. J. Mosterman; A. Sangiovanni-Vincentelli
Automatic Code Generation for Synchronous Reactive Communication
10 IEEE Computer Society (2009)
Issue nr. : 1
A. Ferrari; M. Di Natale; G. Gentile; P. Gai
Time and Memory Tradeoffs in the Implementation of AUTOSAR Components
6 IEEE Publishing (2009)
Issue nr. : 1
H. Zeng; W. Zheng; M. Di Natale; A. Ghosal; P. Giusto; A. Sangiovanni-Vincentelli
Scheduling the FlexRay Bus Using Optimization Techniques
4 IEEE Publishing (2009)
Issue nr. : 1
W. Li; M. Di Natale; W. Zheng; P. Giusto; A. Sangiovanni-Vincentelli; S.A. Seshia
Optimizations of an Application-Level Protocol for Enhanced Dependability in FlexRay
10 IEEE Publishing (2009)
Issue nr. : 1
E. Frank; R. Wilhelm; R. Ernst; A. Sangiovanni-Vincentelli; M. Di Natale
Methods, tools and standards for the analysis, evaluation and design of modern automotive architectures
4 IEEE Computer Society (2008)
Issue nr. : 1
T. Forest; A. Ferrari; G. Audisio; M. Sabatini; A. Sangiovanni-Vincentelli; M. Di Natale
Physical architectures of automotive systems
4 IEEE Computer Society (2008)
Issue nr. : 1
M. DI NATALE; G. WANG; A. SANGIOVANNI-VINCENTELLI
Optimizing the Implementation of Communication in Synchronous Reactive Models
10 IEEE Real Time Applications Symposium IEEE Publishing (2008)
Issue nr. : 1
H. Heinecke; W. Damm; B. Josko; A. Metzner; H. Kopetz; A. Sangiovanni-Vincentelli; M. Di Natale
Software components for reliable automotive systems
549-554 IEEE (2008)
Issue nr. : 1
M. DI NATALE
Design and Development of Component-Based Embedded Systems for Automotive Applications
12 Proceedings of ADA Europe 2008 Springer Verlag (2008)
Issue nr. : 1
G. WANG; M. DI NATALE; A. SANGIOVANNI-VINCENTELLI
An OSEK-VDX Implementation of Synchronous Reactive Semantics-Preserving Communication
8 OSPERT 2007 Workshop da organizzatori (2007)
Issue nr. : 1
M. DI NATALE
Virtual platforms and Timing Analysis: Status, Challenges and Future Directions
5 ACM Design Automation Conference IEEE Computer Society (2007)
Issue nr. : 1
M. DI NATALE; E. BINI
Optimizing the FPGA implementation of HRT systems
10 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium IEEE Computer Society (2007)
Issue nr. : 1
A. Benveniste; P. Caspi; M. Di Natale; C. Pinello; A. Sangiovanni-Vincentelli; S. Tripakis
Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties
8 Proceedings of the EMSOFT Conference IEEE Computer Society (2007)
Issue nr. : 1
M. DI NATALE; P. GIUSTO; S. KANAJAN; C. PINELLO; P. POPP
Architecture Exploration for Time-Critical and Cost-Sensitive Distributed Systems
8 Proceedings of the SAE International Conference Society of Automotive Engineers (2007)
Issue nr. : 1
Patrick Popp; Marco Di Natale; Paolo Giusto; Sri Kanajan; Claudio Pinello
Towards a Methodology for the Quantitative Evaluation of Automotive Architectures
10 Proceedings of the IEEE/ACM Design Automation and Test in Europe conference IEEE Computer Society (2007)
Issue nr. : 1
A. DAVARE; Q. ZHU; M. DI NATALE; C. PINELLO; S. KANAJAN; A. SANGIOVANNI-VINCENTELLI
Period Optimization for Hard Real-Time Distributed Automotive Systems
6 ACM Design Automation Conference IEEE Computer Society (2007)
Issue nr. : 1
W. ZHENG; Q. ZHU; M. DI NATALE; A. SANGIOVANNI-VINCENTELLI
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed System
10 IEEE Real Proceedings of the Time Systems Symposium IEEE Computer Society (2007)
Issue nr. : 1
Marco Di Natale;Enrico Bini
Optimizing the FPGA Implementation of HRT Systems
22-31 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07) IEEE (2007)
Issue nr. : 1
M. DI NATALE; WEI ZHENG; C. PINELLO; P. GIUSTO; A. SANGIOVANNI VINCENTELLI
Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems
10 proceedings of the IEEE Real-Time and Embedded Applications and Technologies Symposium IEEE Computer Society (2007)
Issue nr. : 1
WEI ZHENG; M. DI NATALE; C. PINELLO; P. GIUSTO; A. SANGIOVANNI VINCENTELLI
Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems
6 Proceedings of the IEEE/ACM Design Automation and Test in Europe conference IEEE Computer Society (2007)
Issue nr. : 1
Marco Di Natale
Evaluating message transmission times in Controller Area Networks without buffer preemption
1 da organizzatori (2006)
Issue nr. : 1
E. Bini; M. Di Natale; G. Buttazzo
Sensitivity Analysis for Fixed-Priority Real-Time Systems
13-22 Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 06) IEEE (2006)
Issue nr. : 1
M. Di Natale
Optimizing the multitask implementation of multirate Simulink models
10 IEEE Computer Society (2006)
Issue nr. : 1
L. Lavagno; M. Di Natale; A. Ferrari; P. Giusto
Softcontract: Model-based design of error-checking code and property monitors
13 Springer Verlag (2005)
Issue nr. : 1
C. BARTOLINI; G. LIPARI; M. DI NATALE
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications
10 11th IEEE Real-Time and Embedded Technology and Application Symposium IEEE Computer society (2005)
Issue nr. : 1
E. BINI; MARCO DI NATALE
Optimal Task Rate Selection in Fixed Priority Systems
10 Proceedings of the 26th IEEE Real-Time Systems Symposium IEEE Computer Society (2005)
Issue nr. : 1
P. Gai; G. Lipari; M. Di Natale; M. Duranti; A. Ferrari
Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with softcores
2 IEEE Computer society (2005)
Issue nr. : 1
Enrico Bini; Marco Di Natale
Optimal Task Rate Selection in Fixed Priority Systems
399-409 26th IEEE Real-Time Systems Symposium (RTSS'05) IEEE (2005)
Issue nr. : 1
J. BRUNEL; P. GIUSTO; L. LAVAGNO; M. DI NATALE; A. FERRARI
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
6 Design and Test in Europe IEEE Computer Society (2004)
Issue nr. : 1
E. BINI; MARCO DI NATALE; LUIGI PALOPOLI
Optimizing application performance by rate selection in fixed-priority rt systems
4 IEEE press (2004)
Issue nr. : 1
T. Vardanega; M. Di Natale; S. Mazzini; M. D'Alessandro
Component-based real-time design: Mapping HRT-HOOD to UML
8 IEEE Computer Society (2004)
Issue nr. : 1
F. Bertozzi; M. Di Natale; L. Almeida
Admission control and overload handling in FTT-CAN
10 IEEE IES (2004)
Issue nr. : 1
Marco Di Natale; Tommaso Cucinotta; Paolo Ancilotti
Lo sviluppo di un'architettura modulare open-source per i servizi della PA: considerazioni tecniche e organizzative
4 SALPA: Sapere Aperto e Libero nella Pubblica Amministrazione n.a. (2004)
Issue nr. : 1
Cucinotta, Tommaso; DI NATALE, Marco; Riccardo, Brigo
Breaking down architectural gaps in smart-card middleware design
279-288 1st International Conference on Trust and Privacy in Digital Business, LNCS 3184 Springer Berlin (2004)
Volume nr. : LNCS 3184
Issue nr. : 1
Cucinotta, Tommaso; DI NATALE, Marco; Riccardo, Brigo
Hybrid Fingerprint Matching on Programmable Smart Cards
232-241 1st International Conference on Trust and Privacy in Digital Business, LNCS 3184 Springer Berlin (2004)
Volume nr. : LNCS 3184
Issue nr. : 1
S. MAZZINI; M. D'ALESSANDRO; M. DI NATALE; G. LIPARI; T. VARDANEGA
Issues in Mapping HRT-HOOD to UML
10 Euromicro Conference RTS IEEE Computer Society (2003)
Issue nr. : 1
Cucinotta, Tommaso; Corcoran, David; DI NATALE, Marco
A protocol for programmable smart cards
369-374 Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03) IEEE Computer Society (2003)
Issue nr. : 1
P. GAI; M. DI NATALE; G. LIPARI; A. FERRARI; C. GABELLINI; P. MARCECA
A Comparison of MPCP and MSRP when Sharing Resources in the Janus Multiple-Processor on a Chip Platform
10 IEEE Real Time Technology and Applications Symposium IEEE Computer Society (2003)
Issue nr. : 1
Cucinotta, Tommaso; DI NATALE, Marco; David, Corcoran
A protocol for programmable smart cards
8 Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA 2003) IEEE Computer Society (2003)
Issue nr. : 1
Cucinotta, Tommaso; DI NATALE, Marco; Shiva, Kolachalam
A Modular Open Source Architecture for ICT Services in the Public Administration
167-172 Proceedings of the 2nd EGOV Conference Springer Berlin (2003)
Volume nr. : LNCS 2739/2003
Issue nr. : 1
S. MAZZINI; M. D'ALESSANDRO; M. DI NATALE; A. DOMENICI; G. LIPARI; T. VARDANEGA
HRT-UML: Taking HRT-HOOD onto UML
10 ADA Europe 2003 Springer (2003)
Issue nr. : 1
P. GAI; G. LIPARI; M. DI NATALE
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-chip
10 IEEE Real-Time Systems Symposium IEEE Computer Society (2001)
Issue nr. : 1
M. DI NATALE; A. SANGIOVANNI-VINCENTELLI; F. BALARIN
Scheduling Reactive Task Graphs In Embedded Control Systems
10 Real-time Application Symposium IEEE Computer Society (2001)
Issue nr. : 1
L. PALOPOLI; G. LIPARI; L. ABENI; M. DI NATALE; P. ANCILOTTI; F. CONTICELLI
A Tool for Simulation and Fast Prototyping of Embedded Control Systems
10 Proceedings of The Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001) IEEE Computer society (2001)
Issue nr. : 1
M. D'Alessandro; S. Mazzini; M. Di Natale; G. Lipari
HRT-UML: A Design Method for Hard Real-Time Systems based on the UML Notation
13 European Space Agency (2001)
Issue nr. : 1
Luigi Palopoli; Luca Abeni; Giorgio Buttazzo; Fabio Conticelli; Marco Di Natale
Real-Time control system analysis: an integrated approach
8 Proceedings of the IEEE Real-Time Systems Symposium IEEE Computer Society (2000)
Issue nr. : 1
M. DI NATALE
Scheduling the CAN bus with Earliest Deadline Techniques
10 IEEE Real-Time Systems Symposium IEEE Computer Society (2000)
Issue nr. : 1
M. DI NATALE; A. SANGIOVANNI-VINCENTELLI; F. BALARIN
Task Scheduling with RT Constraints
6 IEEE/ACM Design Automation Conference IEEE Computer Society (2000)
Issue nr. : 1
P. GAI; E. BINI; G. LIPARI; M. DI NATALE; L. ABENI
Architecture for a Portable Open Source Real-Time Kernel Environment
1 (2000)
Issue nr. : 1
G. Luculli; M. Di Natale
Cache-aware scheduling algorithm for embedded systems
11 IEEE Computer Society (1997)
Issue nr. : 1
P. ANCILOTTI; G. BUTTAZZO; M. DI NATALE; M. BIZZARRI
A Flexible Tool Kit for the Development of Real-Time Applications
10 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium IEEE Computer Society (1996)
Issue nr. : 1
P. ANCILOTTI; G. BUTTAZZO; M. DI NATALE; M. BIZZARRI
The MORIS Control System
77-82 Proceedings of the 8th IEEE Euromicro Workshop on Real-Time Systems IEEE Computer society (1996)
Issue nr. : 1
Giorgio Buttazzo; Marco Di Natale
HARTIK: A Hard Real-Time Kernel for Robot Control
8 Halmstad University (1993)
Issue nr. : 1
Paolo Ancilotti; Giorgio Buttazzo; Marco Di Natale; Marco Spuri
TRACS: A Flexible Real-Time Environment for Traffic Control Systems
1 IEEE Computer Siciety (1993)
Issue nr. : 1
Paolo Ancilotti; Giorgio Buttazzo; Marco Di Natale; Marco Spuri
A Real-Time Vessel Traffic System
19-23 Center for Vomputer Architecture (1993)
Issue nr. : 1

Embedded Systems, Real-Time Systems, Models of Embedded SW

INFO:

Istituto di Tecnologie della Comunicazione, dell'Informazione e della Percezione

Incarichi:

Giunta Istituto TeCIP
Consiglio Istituto TeCIP

SCIENZE SPERIMENTALI

SCIENZE SOCIALI

Master I livello

Master II Livello

Corsi di Alta Formazione

GLI ISTITUTI DELLA SCUOLA

ISTITUTO DI BIOROBOTICA

ISTITUTO DI DIRITTO, POLITICA E SVILUPPO

ISTITUTO DI ECONOMIA

ISTITUTO DI MANAGEMENT

ISTITUTO DI SCIENZE DELLA VITA

ISTITUTO DI TECNOLOGIE DELLA COMUNICAZIONE, DELL'INFORMAZIONE E DELLA PERCEZIONE