Building faithful high-level models and performance evaluation of manycore embedded systems, ACM/IEEE International conference on Formal methods and models for codesign, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01087671
Statistical model checking: An overview, pp.122-135, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00591593
Ieee standard for standard systemc language reference manual, 2012. ,
Systemcodesigner-an automatic esl synthesis approach by design space exploration and behavior synthesis for streaming applications, ACM Trans. Des. Autom. Electro. Syst, vol.14, issue.1, pp.1-23, 2009. ,
A framework for system-level modeling and simulation of embedded systems architectures, EURASIP Journal on Embedded Systems, 2007. ,
System-on-chip environment: A specc-based framework for heterogeneous mpsoc design, EURASIP Journal on Embedded Systems, 2008. ,
Uml-based multiprocessor soc design framework, ACM Transactions on Embedded Computing Systems, vol.5, issue.2, pp.281-320, 2006. ,
Electronic system-level synthesis methodologies, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.28, issue.10, pp.1517-1530, 2009. ,
Combining uml2 application and systemc platform modelling for performance evaluation of real-time embedded systems, EURASIP Journal on Embedded Systems, vol.6, pp.1-6, 2008. ,
Performance evaluation of uml-2 modeled embedded streaming applications with system-level simulation, EURASIP Journal on Embedded Systems, 2009. ,
Intel cofluent studio ,
,
,
,
,
,
Influence of different abstractions on the performance analysis of distributed hard real-time systems, Des. Autom. Embedded Syst, vol.13, issue.1-2, pp.27-49, 2009. ,
Embedding formal performance analysis into the design cycle of mpsocs for real-time streaming applications, ACM Trans. Embed ,
, Comput. Syst, vol.11, issue.1, pp.1-8, 2012.
System Level Performance Analysis -the SymTA/S Approach, IEE Proceedings Computers and Digital Techniques, 2005. ,
Probabilistic model checking for uncertain scenario-aware data flow, ACM Trans. Des. Autom. Electron. Syst, vol.22, issue.1, pp.1-15, 2016. ,
Model checking of finite-state machine-based scenario-aware dataflow using timed automata, 10th IEEE International Symposium on, pp.1-10, 2015. ,
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking, FM 2015: Formal Methods, pp.551-569, 2015. ,
Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach, Indian Institute of Science, 2015. ,
Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata, Proceedings of 14th IEEE International Conference on Application of Concurrency to System Design (ACSD, 2014. ,
Orchestrating Stream Graphs Using Model Checking, ACM Trans. Archit. Code Optim, vol.10, issue.3, p.25, 2013. ,
Automated bottleneck-driven design-space exploration of media processing systems, Proceedings of the Conference on Design, Automation and Test in Europe ,
Belgium: European Design and Automation Association, pp.1041-1046, 2010. ,
Timed automata as task models for event-driven systems, Real-Time Computing Systems and Applications, 1999. RTCSA'99. Sixth International Conference, pp.182-189, 1999. ,
Timed automata based analysis of embedded system architectures, Parallel and Distributed Processing Symposium, 2006. IPDPS, p.8, 2006. ,
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software, 2010 31st IEEE Real-Time Systems Symposium, pp.339-349, 2010. ,
Towards WCET analysis of multicore architectures using UPPAAL, WCET, pp.101-112, 2010. ,
Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems, Proc. International Conference on Embedded Software (EMSOFT) ,
, , pp.63-72, 2012.
Models and formal verification of multiprocessor system-on-chips, The Journal of Logic and Algebraic Programming, vol.77, issue.1-2, pp.1-19, 2008. ,
Bounding Worst-Case Performance for Multi-Core Processors with Shared L2 Instruction Caches, Journal of Computing Science and Engineering, vol.5, issue.1, pp.1-18, 2011. ,
An Automated Semantic-Based Approach for Creating Task Structures, Dissertation, 2013. ,
State-based realtime analysis of SDF applications on mpsocs with shared communication resources, Journal of Systems Architecture -Embedded Systems Design, vol.61, issue.9, pp.486-509, 2015. ,
Statistical model checking for networks of priced timed automata," in Formal Modeling and Analysis of Timed Systems, ser. Lecture Notes in Computer Science, vol.6919, pp.80-96, 2011. ,
Prism 4.0: Verification of probabilistic real-time systems, Proc. International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
A platform for high performance statistical model checking -plasma, Proc. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), pp.498-503, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01087824
Statistical model checking for priced timed automata, Proc. 10th workshop on quantitative aspects of programming languages and systems (QAPL'12), 2012. ,
Variation-aware evaluation of mpsoc task allocation and scheduling strategies using statistical model checking, 2015 Design, Automation Test in Europe Conference Exhibition (DATE), pp.199-204, 2015. ,
Proartis: Probabilistically analyzable real-time systems, ACM Transactions on Embedded Computing Systems (TECS), vol.12, issue.2s, p.94, 2013. ,
Proxima: Improving measurement-based timing analysis through randomisation and probabilistic analysis, p.2016 ,
URL : https://hal.archives-ouvertes.fr/hal-01419735
, Euromicro Conference on. IEEE, pp.276-285, 2016.
Analysis, design and management of multimedia multiprocessor systems, 2009. ,
DOI : 10.1007/978-94-007-0083-3
Statistical model checking qos properties of systems with sbip, International Journal on Software Tools for Technology Transfer, vol.17, issue.2, pp.171-185, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01087822
Rigorous component-based system design using the bip framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00722395
Statistical model checking for systemc models, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering, pp.197-204, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01238162
Predictability considerations in the design of multi-core embedded systems, Proceedings of the Embedded Real Time Software and Systems Congress, 2010. ,
Holistic schedulability analysis for distributed hard real-time systems, Microprocess. Microprogram, vol.40, issue.2-3, pp.90080-90089, 1994. ,
Performance estimation for real-time distributed embedded systems, IEEE Transactions on, vol.9, issue.11, pp.1125-1136, 1998. ,
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, Proceedings of the tenth international symposium on Hardware/software codesign, pp.187-192, 2002. ,
Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems, ACM Sigbed Review, vol.7, issue.1, p.4, 2010. ,
State-based real-time analysis of SDF applications on MPSoCs with shared communication resources, Journal of Systems Architecture, vol.61, issue.9, pp.486-509, 2015. ,
Towards statebased RT analysis of FSM-SADFGs on MPSoCs with shared memory communication, 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, vol.1, p.2017, 2017. ,
Statistical model checking qos properties of systems with sbip, International Journal on Software Tools for Technology Transfer, p.14, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00847827
Probabilistic state-based RT-analysis of SDFGs on MPSoCs with shared memory communication, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), vol.3, p.2019 ,
Static Timing Analysis for Hard Real-Time Systems, pp.3-22, 2010. ,
Proartis: Probabilistically analyzable real-time systems, ACM Trans. Embed. Comput. Syst, vol.12, issue.2s, p.26, 2013. ,
PROX-IMA: improving measurement-based timing analysis through randomisation and probabilistic analysis," in DSD, pp.276-285, 2016. ,
Synchronous data flow, Proceedings of the IEEE, vol.75, pp.1235-1245, 1987. ,
Statistical model checking: An overview, pp.122-135, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00591593
Introducing monte carlo methods with r, vol.18, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00450502
Approximate probabilistic model checking, pp.73-84, 2004. ,
Monte carlo model checking, pp.271-286, 2005. ,
Probability inequalities for sums of bounded random variables, Journal of the American Statistical Association, vol.58, issue.301, pp.13-30, 1963. ,
Verification and planning for stochastic processes with asynchronous events, 2005. ,
Chimp: a tool for assertionbased dynamic verification of systemc models, Program Proceedings, p.38, 2013. ,
Power and execution time measurement methodology for sdf applications on fpga-based mpsocs, 2017. ,
On estimation of a probability density function and mode, Ann. Math. Statist, vol.33, issue.3, pp.1065-1076, 1962. ,
,