16 results  save search


...
hal-02134734v1  Journal articles
Ayeley Tchangani. Decision-making with uncertain data: Bayesian linear programming approach
Journal of Intelligent Manufacturing, Springer Verlag (Germany), 2004, 15 (1), pp.17-27. ⟨10.1023/B:JIMS.0000010072.16604.04⟩
...
hal-01130800v1  Journal articles
Nadège PontissoPhilippe QuéinnecGérard Padiou. Analysis of distributed multi-periodic systems to achieve consistent data matching
Concurrency and Computation: Practice and Experience, Wiley, 2013, vol. 25 (n° 2), pp. 234-249. ⟨10.1002/cpe.2803⟩
...
hal-01717293v1  Conference papers
Pierre-Emmanuel Hladik. A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time Assumption
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
...
hal-01820499v1  Conference papers
Batoul AttarJean-Charles Maré. Assessment of Electric Drive for Fuel Pump using Hardware in the Loop Simulation
The 15th Scandinavian International Conference on Fluid Power (SICFP’17), Jun 2017, Linköping, Sweden. pp.320-331, ⟨10.3384/ecp17144320⟩
...
tel-00111808v1  Theses
Anis Youssef. Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français
...
hal-01408375v1  Conference papers
Ning GeMarc PantelXavier Crégut. A UML-MARTE Temporal Property Verification Tool based on Model Checking
International Conference on Embedded Real Time Software and Systems (ERTS), Feb 2014, Toulouse, France
hal-01241877v1  Conference papers
Aymen GammoudiAdel BenzinaMohamed KhalguiDaniel Chillet. New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems
International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15, University of Naples "Federico II", ITALY, Sep 2015, Naples, Italy. ⟨10.1007/978-3-319-22689-7_6⟩
...
tel-00010243v1  Theses
Christian Artigues. Ordonnancement en temps réel d'ateliers avec temps de préparation des ressources
Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1997. Français
...
tel-01395682v2  Theses
Ning Ge. Property driven verification framework: application to real time property for UML MARTE software design
Modeling and Simulation. Institut national polytechnique de Toulouse (INPT); Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier, 118 route de Narbonne, 31062 Toulouse cedex 9, 2014. English
...
tel-00714502v1  Theses
Michaël Lauer. Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée
Systèmes embarqués. Institut National Polytechnique de Toulouse - INPT, 2012. Français
...
hal-01285662v1  Journal articles
Kai HuTeng ZhangZhibin YangWei-Tek Tsai. Exploring AADL verification tool through model transformation
Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
...
hal-01316834v1  Journal articles
Ning GeShin NakajimaMarc Pantel. Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model
SIMULATION, SAGE Publications, 2015, vol. 91 (n° 10), pp. 851-868