Search results for "SCADE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
126	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
117	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
90	Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent	Checking SCADE Models for Correct Usage of Physical Units.	SAFECOMP	2006	DBLP DOI BibTeX RDF	physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection
81	Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif	Modeling of self-adaptive systems with SCADE.	ISCAS	2007	DBLP DOI BibTeX RDF
81	Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet	Mode-Automata Based Methodology for Scade.	HSCC	2005	DBLP DOI BibTeX RDF
81	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems Using Scade.	ISoLA	2004	DBLP DOI BibTeX RDF
63	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
63	Samar Dajani-Brown, Darren D. Cofer, Amar Bouali	Formal Verification of an Avionics Sensor Voter Using SCADE.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
54	Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber 0017	Formal Design of Distributed Control Systems with Lustre.	SAFECOMP	1999	DBLP DOI BibTeX RDF
53	Cédric Auger	Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE).		2013	RDF
53	Virginia Papailiopoulou	Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE).		2010	RDF
45	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
45	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, simulink, lustre, code distribution
27	Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels	Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.	HASE	2010	DBLP DOI BibTeX RDF	Analysis of counterexamples, SCADE models, structural paths
27	Michel Turin	Safety critical software development for space application - invited talk abstract.	WOSP	2005	DBLP DOI BibTeX RDF	EADS space, MELANIE, SCADE®, ariane 5 launcher, embedded space software, monte-carlo testing, software static analysis, software verification, software safety, software methodology
27	Mikaela Angelina Uy, Ricardo Martin-Brualla, Leonidas J. Guibas, Ke Li	SCADE: NeRFs from Space Carving with Ambiguity-Aware Depth Estimates.	CoRR	2023	DBLP DOI BibTeX RDF
27	Mikaela Angelina Uy, Ricardo Martin-Brualla, Leonidas J. Guibas, Ke Li	SCADE: NeRFs from Space Carving with Ambiguity-Aware Depth Estimates.	CVPR	2023	DBLP DOI BibTeX RDF
27	Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro	Automated Test Case Generation for Safety-Critical Software in Scade.	ICSE-SEIP	2023	DBLP DOI BibTeX RDF
27	Farshid Alambeigi, Sahba Aghajani Pedram, Jason L. Speyer, Jacob Rosen 0001, Iulian Iordachita, Russell H. Taylor, Mehran Armand	SCADE: Simultaneous Sensor Calibration and Deformation Estimation of FBG-Equipped Unmodeled Continuum Manipulators.	IEEE Trans. Robotics	2020	DBLP DOI BibTeX RDF
27	Lina Marsso	Specifying a Cryptographical Protocol in Lustre and SCADE.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
27	Jean-Louis Colaço	An overview of Scade, a synchronous language for safety-critical software (keynote).	REBLS@SPLASH	2020	DBLP DOI BibTeX RDF
27	Jan Toennemann, Adina Aniculaesei, Andreas Rausch	Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations.	SAST	2020	DBLP DOI BibTeX RDF
27	Sean Kauffman, Sebastian Fischmeister	The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset.		2019	DOI RDF
27	Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She	Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.	REFSQ Workshops	2019	DBLP BibTeX RDF
27	Adina Aniculaesei, Andreas Vorwald, Andreas Rausch	Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
27	Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet	Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.	FDL	2018	DBLP DOI BibTeX RDF
27	Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang 0028, Ming Chai	Route safety verification of train control system by FTA modeling in SCADE.	ITSC	2018	DBLP DOI BibTeX RDF
27	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	SCADE 6: A formal language for embedded critical software development (invited paper).	TASE	2017	DBLP DOI BibTeX RDF
27	Stéphane Fechter, Myriam Marchand	A Feedback Experience on Delta SR: A Smart Tool to Compare Complex SCADE Models.	CSDM	2015	DBLP DOI BibTeX RDF
27	Trinh Cong Duy, Nguyen Thanh Binh 0002, Ioannis Parissis	A regression testing approach for Lustre/SCADE programs.	SoICT	2015	DBLP DOI BibTeX RDF
27	Jie Qian, Jing Liu 0012, Xiang Chen, Junfeng Sun	Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems.	COUFLESS@ICSE	2015	DBLP DOI BibTeX RDF
27	Henning Basold	Transformation von Scade-Modellen zur SMT-basierten Verifikation.	CoRR	2014	DBLP BibTeX RDF
27	Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius	An Open Alternative for SMT-Based Verification of Scade Models.	FMICS	2014	DBLP DOI BibTeX RDF
27	Attila Ors Kilyen, László Barabás	Scade interpreter for measuring static and dynamic software metrics.	SISY	2013	DBLP DOI BibTeX RDF
27	Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis	Automatic Testing of LUSTRE/SCADE Programs.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
27	Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis	Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.	FMICS	2011	DBLP DOI BibTeX RDF
27	Thierry Le Sergent	SCADE: A Comprehensive Framework for Critical System and Software Engineering.	SDL Forum	2011	DBLP DOI BibTeX RDF
27	Michaela Huhn, Dirk Scharff	Some Observations on SCADE Model Clones.	MBEES	2010	DBLP BibTeX RDF
27	Jan Mikác, Paul Caspi	Flush: an example of development by refinements in SCADE/Lustre.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
27	Abdesselam Lakehal, Ioannis Parissis	Structural coverage criteria for LUSTRE/SCADE programs.	Softw. Test. Verification Reliab.	2009	DBLP DOI BibTeX RDF
27	María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Antonio Linares	Using SCADE for Decision Support in Dam Management.	MSVVEIS	2009	DBLP BibTeX RDF
27	Stefan Milius, Uwe Steinke	Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung.	MBEES	2008	DBLP BibTeX RDF
27	Virginia Papailiopoulou	Automatic Test Generation for LUSTRE/SCADE Programs.	ASE	2008	DBLP DOI BibTeX RDF
27	Marcelin Fortes da Cruz, Paul Raistrick	AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.	SSS	2007	DBLP DOI BibTeX RDF
27	Anjali Joshi, Mats Per Erik Heimdahl	Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.	SAFECOMP	2005	DBLP DOI BibTeX RDF
27	Jan Mikác, Paul Caspi	Flush: a system development tool based on scade/lustre.	FMICS	2005	DBLP DOI BibTeX RDF
27	Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels	Formal proof and test case generation for critical embedded systems using SCADE.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
27	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems using Scade.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
18	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
18	Roberto Lublinerman, Christian Szegedy, Stavros Tripakis	Modular code generation from synchronous block diagrams: modularity vs. code size.	POPL	2009	DBLP DOI BibTeX RDF	clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams
18	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
18	Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang	Certified Development Tools Implementation in Objective Caml.	PADL	2008	DBLP DOI BibTeX RDF	Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
18	Guy Durrieu, Hélène Waeselynck, Virginie Wiels	LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF	formal methods, automation, Test oracle, avionics
18	Werner Damm	Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.	FMICS	2008	DBLP DOI BibTeX RDF
18	Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott	Models for automatic generation of safety-critical real-time systems.	ARES	2007	DBLP DOI BibTeX RDF
18	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm	Integration of Formal Analysis into a Model-Based Software Development Process.	FMICS	2007	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
18	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
18	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
18	Nicolas Halbwachs	A synchronous language at work: the story of Lustre.	MEMOCODE	2005	DBLP DOI BibTeX RDF
18	Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel	P2I: An Innovative MDA Methodology for Embedded Real-Time System.	DSD	2005	DBLP DOI BibTeX RDF
18	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
18	Gérard Berry	Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.	FASE	2005	DBLP DOI BibTeX RDF
18	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
18	Pierre Chartier	ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.	ZB	2002	DBLP DOI BibTeX RDF
18	Gérard Berry	Synchronous Programming Techniques for Embedded Systems: Present and Future.	EMSOFT	2001	DBLP DOI BibTeX RDF
18	Jean-Louis Camus, Thierry Le Sergent	Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
18	Werner Damm	Challenges in the Verification of Electronic Control Units.	FTRTFT	2000	DBLP DOI BibTeX RDF
18	François Pilarski	Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE.	B	1998	DBLP DOI BibTeX RDF