Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project

Autor: Posadas, Héctor, Nicolás, Alejandro, Peñil, Pablo, Villar, Eugenio, Broekaert, Florian, Bourdelles, Michel, Cohen, Albert, Lazarescu, Mihai T., Lavagno, Luciano, Terechko, Andrei, Glassee, Miguel, Prieto, Manuel

Publikováno v: In Microprocessors and Microsystems November 2014 38(8) Part B:960-975

Results analysis and validation - D5.3

Autor: Moreno, Oscar, González, José Luis, Pérez Romero, Jordi|||0000-0001-9131-5013, Sallent Roig, Oriol|||0000-0002-2114-1406, Raschellà, Alessandro, Umbert Juliana, Anna|||0000-0001-7825-5212, Gebert, Jens, Fuchs, Rolf, Demestichas, Panagiotis, Georgakopoulos, Andreas, Stavroulaki, Vera, Tsagkaris, Kostas, Kritikou, Yiouli, Tzifa, Lia, Koutsouris, Nikos, Karvounas, Dimitrios, Logothetis, Marios, Sarli, Asimina, Bantouna, Aimilia, Papadopoulou, Louisa-Magdalene, Galani, Aristi, Vlacheas, Panagiotis, Morakos, Petros, Antzoulatos, Alexandros, Mueck, Markus, Drewes, Christian, Nehring, Florian, Moser, Guenter, Tosic, Milenko, Boskovic, Dragan, Ikovic, Ognjen, Cirilovic, Mirko, Vahid, Seiamak, Ghoraishi, Mir, Pega, Stéphane, Bourdellès, Michel, Bagayoko, Abdoulaye, Mouton, Christian, Panaitopol, Dorin, Delsol, Thomas

Publikováno v: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Deliverable D5.3 del projecte OneFIT

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4999db8494d5aa1a6dec832329866346
https://hdl.handle.net/2117/17920

The Steam Boiler Controller Problem in ESTEREL and its Verification by Means of Symbolic Analysis

Autor: Bourdellès, Michel

Publikováno v: RR-3285, INRIA. 1997

We describe the use of the verification tools XEVE and FC2SYMBMIN on the ESTEREL encoding of a Steam Boiler controller proposed by J.R. Abial. XEVE is a verification tool set dedicated to the analysis of synchronous reactive systems in the form of bo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::a4f7a14bb9748644fc472f6c077a85f1
https://inria.hal.science/inria-00073403/document

Final report on dissemination, regulation, standardization, exploitation & training : D6.3

Autor: Vahid, Seiamak, Matinmikko, Marja, Mustonen, Miia, Demestichas, Panagiotis, Georgakopoulos, Andreas, Stavroulaki, Vera, Tsagkaris, Kostas, Kritikou, Yiouli, Tzifa, Lia, Koutsouris, Nikos, Karvounas, Dimitrios, Logothetis, Marios, Sarli, Asimina, Bantouna, Aimilia, Papadopoulou, Louisa-Magdalene, Galani, Aristi, Vlacheas, Panagiotis, Morakos, Petros, Antzoulatos, Alexandros, Bender, Paul, Gebert, Jens, Tosic, Milenko, Filo, Marcin, Mouton, Christian, Mueck, Markus, Schmidt, Andreas, Sarvanko, Heli, Bourdellès, Michel, Pega, Stéphane, Moreno, Oscar, Pérez Romero, Jordi, Sallent Roig, Oriol

Publikováno v: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

In D6.1 deliverable project dissemination, exploitation and training plans, as well as standardization & regulatory approach strategy was presented. The D6.2 reported on the necessary updates of these strategies and the actions taken by the partners

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a077abf367494277a0219fdec33961c
http://hdl.handle.net/2117/17944