Relevant bibliographies by topics / Scade

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Scade'

Author: Grafiati
Published: 4 June 2021
Last updated: 18 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Scade.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Scade"

1

Caspi, Paul, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, and Peter Niebert. "From simulink to SCADE/lustre to TTA." ACM SIGPLAN Notices 38, no. 7 (July 11, 2003): 153–62. http://dx.doi.org/10.1145/780731.780754.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lakehal, Abdesselam, and Ioannis Parissis. "Structural coverage criteria for LUSTRE/SCADE programs." Software Testing, Verification and Reliability 19, no. 2 (June 2009): 133–54. http://dx.doi.org/10.1002/stvr.394.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Marsso, Lina. "Specifying a Cryptographical Protocol in Lustre and SCADE." Electronic Proceedings in Theoretical Computer Science 316 (April 26, 2020): 149–99. http://dx.doi.org/10.4204/eptcs.316.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Xi, and Shuo Liu. "Modeling and Realization of CBTC Interlocking System Using SCADE." Advanced Materials Research 823 (October 2013): 445–50. http://dx.doi.org/10.4028/www.scientific.net/amr.823.445.

Full text
Abstract:
With the rapidly growing of passenger flow in big city, Communications Based Train Control (CBTC) system is believed to be the chief choice for urban railway transportation system. Interlocking system is a key safety critical application for CBTC, as it provides trains safety routes both in normal condition and under degraded mode. To deal with the logic complexity and high demand for safety, this paper addresses a novel scheme for modeling and realization of CBTC interlocking system. Using SCADE toolset, core function model prototypes are elaborated and software codes are generated automatically. The practical application indicates that this method provides an accurate and complete description for the whole system, and offers a path to gain high quality system implementation.
APA, Harvard, Vancouver, ISO, and other styles
5

Shukalov, A. V., I. O. Zharinov, O. O. Zharinov, M. O. Kostishin, and V. A. Nechayev. "Algorithms for Formation of Indication Pictures in Avionic Equipment with the Use of SCADE Integrated Design Environmen." MEHATRONIKA, AVTOMATIZACIA, UPRAVLENIE 16, no. 10 (October 2015): 710–15. http://dx.doi.org/10.17587/mau.16.710-715.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mikáč, Jan, and Paul Caspi. "Flush: an example of development by refinements in SCADE/Lustre." International Journal on Software Tools for Technology Transfer 11, no. 5 (March 24, 2009): 409–18. http://dx.doi.org/10.1007/s10009-009-0113-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Luca, Alina-Costina, Andreea-Simona Holoc, Mirabela Subotnicu, and Constantin Iordache. "ASPECTE CLINICE ŞI TERAPEUTICE ÎN MALFORMAŢIILE CARDIACE DUCTO-DEPENDENTE – PARTEA I." Romanian Journal of Pediatrics 64, no. 2 (June 30, 2015): 186–88. http://dx.doi.org/10.37897/rjp.2015.2.17.

Full text
Abstract:
Malformaţiile congenitale de cord cu circulaţie ducto-dependentă au o fi ziologie cardiovasculară complexă. După naştere, situaţia acestor copii este critică, iniţial sunt asimptomatici, apoi rezistenţa vasculară pulmonară scade, ducând la degradarea hemodinamică progresivă. Identificarea cât mai precoce a acestor malformaţii şi iniţierea terapiei corespunzătoare permite menţinerea echilibrului cardiovascular.
APA, Harvard, Vancouver, ISO, and other styles
8

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs." Journal of Software Engineering and Applications 06, no. 10 (2013): 27–35. http://dx.doi.org/10.4236/jsea.2013.610a004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Alambeigi, Farshid, Sahba Aghajani Pedram, Jason L. Speyer, Jacob Rosen, Iulian Iordachita, Russell H. Taylor, and Mehran Armand. "SCADE: Simultaneous Sensor Calibration and Deformation Estimation of FBG-Equipped Unmodeled Continuum Manipulators." IEEE Transactions on Robotics 36, no. 1 (February 2020): 222–39. http://dx.doi.org/10.1109/tro.2019.2946726.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Irvine, R. E., J. Frew, A. A. A. Bajalan, P. Stuart, and C. Vahrman. "Michael Bertrand Devas Thomas Patterson Scade Frew Adnan Sabih Jamil Robert Leonard McMillan Julian Vahrman." BMJ 318, no. 7188 (April 3, 1999): 946. http://dx.doi.org/10.1136/bmj.318.7188.946.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Scade"

1

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Full text
Abstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus lent si on devient plus sûr. Afin d'augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d'une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s'appelle la compilation, et évite des erreurs introduites par l'homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d'un sous-ensemble large de C vers l'assembleur PowerPC pour lequel il a été prouvé dans l'assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d'éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d'avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l'est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne.
APA, Harvard, Vancouver, ISO, and other styles
2

Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00454409.

Full text
Abstract:
Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utilisation des plusieurs horloges et le test d'intégration, permettant la mesure de couverture de systèmes de grande taille. Ces deux stratégies pourraient avoir un impact positif sur le test efficace des applications réelles. Des études de cas extraites du domaine de l'avionique sont employées pour démontrer l'applicabilité de ces méthodes et pour évaluer leur complexité.
APA, Harvard, Vancouver, ISO, and other styles
3

SERAFIM, Kamila Nayana Carvalho. "Transformando modelos Scade em especificações SCR." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/20342.

Full text
Abstract:
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-08-08T13:40:24Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação-Transformando-modelos-xscade-em-SCR-Kamila-Serafim.pdf: 1127362 bytes, checksum: cb72514ffcaf617a6573ea197ab446c1 (MD5)
Made available in DSpace on 2017-08-08T13:40:24Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação-Transformando-modelos-xscade-em-SCR-Kamila-Serafim.pdf: 1127362 bytes, checksum: cb72514ffcaf617a6573ea197ab446c1 (MD5) Previous issue date: 2016-09-08
A construção de um software para domínios particulares tem de atender normas específicasque impõem o atendimento a fatores como rastreabilidade de requisitos e certificação. Por exemplo, a indústria aeronáutica deve atender à norma DO-178B que estabelece restrições para uso de software de aeronaves, que são considerados sistemas críticos. Para um sistema estar de acordo com essa certificação é necessário ter requisitos formais e código certificado; nesta direção, Andrade (ANDRADE, 2013) usou a notação SCR (Software Cost Reduction) para definição de requisitos e a ferramenta SCADE para modelagem de sistemas críticos, com desenvolvimento de um tradutor de SCR para artefatos xscade. A prática de desenvolvimento de sistema, porém, não está restrita à transição entre requisitos e artefatos de projeto. Modificações realizadas nestes últimos devem também ser refletidas nos requisitos. Neste trabalho desenvolvemos um tradutor de artefatos de modelagem da ferramenta SCADE para SCR. Desta forma podemos gerar especificação de requisitos a partir do código (Engenharia Reversa) e complementamos o trabalho anterior desenvolvido por Andrade (ANDRADE, 2013). Para o desenvolvimento do tradutor, utilizamos a plataforma Spoofax por meio da qual descrevemos a sintaxe do esquema XML utilizado em SCADE e também as regras de tradução tendo como alvo SCR. A validação da tradução teve como ponto de partida o resultado do uso do tradutor desenvolvido por Andrade (ANDRADE, 2013), tendo de gerar como saída a mesma entrada do tradutor desenvolvido por Andrade (ANDRADE, 2013). Além disso, desenvolvemos exemplos para demonstrar que a modificação estrutural, com preservação de semântica, em projetos SCADE, é verificável por meio do uso de testes gerados por meio da ferramenta TTM-TVEC
Building a software for particular domains must attend specific standards that impose attendance to factors such as traceability requirements and the certification issue. For example, the airline industry should meet the DO-178B standard that establishes restrictions on the use of aircraft software, which is considered a critical system. For a system to be in accordance with this certification, one must have formal requirements and certified code. In this direction, Andrade (ANDRADE, 2013) used SCR (Software Cost Reduction) for requirements definition and SCADE for modeling critical systems with development of an artifacts a translator from SCR. However the practice of developing is not restricted to the transition from requirements to design artifacts. Changes made on design should be reflected in the requirements. In this work we developed a translator from SCADE to SCR. In this way we can generate requirements specification from the code (reverse engineering) and complement the previous Andrade (ANDRADE, 2013) thesis. For the translator development, we use the Spoofax platform through which we describe the XML schema syntax used in SCADE and also the translation rules having SCR as the target language. The translation validation had as its starting point the result of the translator developed by Andrade (ANDRADE, 2013), where the output is the same input developed by Andrade(ANDRADE, 2013). Furthermore, examples developed to demonstrate that the structural modification that preserves semantics in SCADE, is verifiable through the use of tests generated by the TTM-TVEC tool.
APA, Harvard, Vancouver, ISO, and other styles
4

ANDRADE, Marcelo Costa Melo de. "Gerando modelos SCADE a partir de especificações descritas em SCR." Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/12409.

Full text
Abstract:
Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-11T19:12:53Z No. of bitstreams: 2 Dissertacao Marcelo de Andrade.pdf: 1169415 bytes, checksum: bbbc84fb17de4321f5fc8b9f6d9cdb6e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:12:01Z (GMT) No. of bitstreams: 2 Dissertacao Marcelo de Andrade.pdf: 1169415 bytes, checksum: bbbc84fb17de4321f5fc8b9f6d9cdb6e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-13T13:12:01Z (GMT). No. of bitstreams: 2 Dissertacao Marcelo de Andrade.pdf: 1169415 bytes, checksum: bbbc84fb17de4321f5fc8b9f6d9cdb6e (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-23
Requisitos são um dos principais artefatos no desenvolvimento de um sistema. Para sistemas críticos, os requisitos são artefatos obrigatórios para satisfazer critérios de certificações tais como os descritos no guia de certificação DO-178B. Apesar de sua importância, estes artefatos são geralmente descritos informalmente através de linguagem natural. O uso da linguagem natural propicia a descrição de requisitos ambíguos, incompletos e inconsistentes. Para sanar este problema foi definido o método Software Cost Reduction (SCR), que permite a descrição formal de requisitos de forma precisa e relativamente amigável através do uso de tabelas preenchidas com expressões lógicas. Em particular, de forma a nos aproximarmos ainda mais das tecnologias usadas na indústria de sistemas críticos, neste trabalho nosso SCR é o implementado na ferramenta TTM da suíte T-VEC (um conjunto de ferramentas que suporta a sintaxe de SCR e possibilita a geração de vetores de testes e análise de propriedades), a qual é capaz de gerar casos de teste seguindo o guia DO-178B. Além dos requisitos, a certificação do código implementado também é uma obrigação para sistemas críticos e o uso de SCR somente não garante isso. Enquanto o método SCR auxilia na descrição detalhada de requisitos, o ambiente de desenvolvimento baseado em modelos denominado Safety Critical Application Development Environment (SCADE) auxilia na modelagem de software crítico. SCADE é também usado para gerar código certificado de acordo com o DO-178B. Neste trabalho apresentamos como obter modelos SCADE a partir de especificações descritas em SCR através da aplicação de regras de tradução. Com isto obtemos código certificado a partir de requisitos formais em uma única solução. Para aplicar as regras de forma automática, construímos uma ferramenta tradutora usando o framework Stratego/ XT. Por fim, aplicamos nosso tradutor em dois estudos de caso descritos em SCR. Foi feito uso de uma estratégia de verificação baseada em testes para atestar que os modelos SCADE produzidos por nosso tradutor correspondem às descrições em SCR. A estratégia de verificação consiste em usar T-VEC para gerar vetores de testes de acordo com o critério de cobertura MCDC e então aplicar os testes no código C gerado pelo SCADE. Apesar de nosso tradutor não ser provado correto, podemos argumentar indiretamente que o mesmo preserva as propriedades descritas em SCR nos modelos SCADE gerados automaticamente. Quanto a certificação do tradutor, isto fica a cargo de nosso parceiro industrial Embraer S.A. .
APA, Harvard, Vancouver, ISO, and other styles
5

Corbo, Pasquale. "Sistemi Software Critici per Aerei Commerciali." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017.

Find full text
Abstract:
Lo scopo di questa tesi è quello di fornire un approccio generico ai linguaggi di programmazione sincroni utilizzati per lo sviluppo di sistemi avionici in grado di gestire la fase del volo in crociera (flight management system) e dei sistemi digital-fly-by-wire studiando il miglioramento del processo di test con il fine di automatizzare la generazione dei dati di test e la valutazione della loro qualità, in un quadro di sistemi sincroni reattivi specifici come i linguaggi Lustre / SCADE. Nel capitolo 1 introdurremo quindi il concetto di affidabilità, focalizzandoci sul significato di questa in riferimento al software per i sistemi avionici. Nel capitolo due tratteremo il concetto di tolleranza ai guasti e quello di software n-version utilizzato nei sistemi di bordo per un rapido ripristino in caso di guasti durante il volo. Nel terzo capitolo verrà fatta una panoramica dei sistemi di controllo digitali di volo ovvero del digital fly-by-wire con un particolare riferimento al design del software dell’Airbus320. Nel quarto capitolo presenteremo alcuni dei principali linguaggi di programmazione utilizzati per lo sviluppo del software di volo ovvero del flight management system, come per esempio Lustre e Scade evidenziando le loro caratteristiche in riferimento ai sistemi avionici. Il quinto e sesto capitolo trattano le tecniche di testing del software implementato con i linguaggi sincroni come appunto Lustre. Nel settimo capitolo verrà preso in considerazione un caso studio riguardante il software che gestisce il controllo del carrello di atterraggio di un velivolo.
APA, Harvard, Vancouver, ISO, and other styles
6

Humbert, Sophie. "Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels." Bordeaux 1, 2008. http://www.theses.fr/2008BOR13580.

Full text
Abstract:
Les turbomoteurs d'hélicoptère incluent des logiciels de contrôle de plus en plus élaborés et complexes. Pour répondre aux exigences de sécurité de ce type de système, il convient de décliner précisément les exigences système en exigences logicielles. Nos travaux ont porté sur l'amélioration de cette phase de déclinaison d'exigences. Nous proposons une démarche en deux étapes. La première consiste à modéliser, en language AltaRIca, les propagations de pannes potentielles de composants du système, en intégrant des hypothèses de modes de défaillance sur les parties matérielles et logicielles. L'analyse de ce modèle permet d'évaluer la sûreté de l'architecture du système envisagée, et de déduire des exigences élémentaires, en particulier sur les fonctions logicielles. Ces exigences imposent que certains comportements logiciels ne se produisent pas. La seconde étape porte sur le raffinement de ces exigences afin de les rendre vérifiables sur le modèle de conception SCADE du logiciel.
APA, Harvard, Vancouver, ISO, and other styles
7

Brun, Lélio. "Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation." Thesis, Université Paris sciences et lettres, 2020. http://www.theses.fr/2020UPSLE003.

Full text
Abstract:
Les spécifications basées sur les schémas-blocs et machines à états sont utilisées pour la conception de systèmes de contrôle-commande, particulièrement dans le développement d'applications critiques. Des outils tels que Scade et Simulink/Stateflow sont équipés de compilateurs qui traduisent de telles spécifications en code exécutable. ls proposent des langages de programmation permettant de composer des fonctions sur des flots, tel que l'illustre le langage synchrone à flots de données Lustre. Cette thèse présente Vélus, un compilateur Lustre vérifié dans l'assistant de preuves interactif Coq. Nous développons des modèles sémantiques pour les langages de la chaîne de compilation, et utilisons le compilateur C vérifié CompCert pour générer du code exécutable et donner une preuve de correction de bout en bout. Le défi principal est de montrer la préservation de la sémantique entre le paradigme flots de données et le paradigme impératif, et de raisonner sur la représentation bas niveau de l'état d'un programme. En particulier, nous traitons le reset modulaire, une primitive pour réinitialiser des sous-systèmes. Ceci implique la mise en place de modèles sémantiques adéquats, d'algorithmes de compilation et des preuves de correction correspondantes. Nous présentons un nouveau langage intermédiaire dans le schéma habituel de compilation modulaire dirigé par les horloges de Lustre. Ceci débouche sur l'implémentation de passes de compilation permettant de générer un meilleur code séquentiel, et facilite le raisonnement sur la correction des transformations successives du reset modulaire
Specifications based on block diagrams and state machines are used to design control software, especially in the certified development of safety-critical applications. Tools like Scade and Simulink/Stateflow are equipped with compilers that translate such specifications into executable code. They provide programming languages for composing functions over streams as typified by dataflow synchronous languages like Lustre. In this thesis we present Vélus, a Lustre compiler verified in the interactive theorem prover Coq. We develop semantic models for the various languages in the compilation chain, and build on the verified CompCert C compiler to generate executable code and give an end-to-end correctness proof. The main challenge is to show semantic preservation between the dataflow paradigm and the imperative paradigm, and to reason about byte-level representations of program states. We treat, in particular, the modular reset construct, a primitive for resetting subsystems. This necessitates the design of suitable semantic models, compilation algorithms and corresponding correctness proofs. We introduce a novel intermediate language into the usual clock-directed modular compilation scheme of Lustre. This permits the implementation of compilation passes that generate better sequential code, and facilitates reasoning about the correctness of the successive transformations of the modular reset construct
APA, Harvard, Vancouver, ISO, and other styles
8

Doumbia, Fassely. "Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00481072.

Full text
Abstract:
Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance au cours du développement. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites : un test exhaustif est quasiment impossible à réaliser en raison de la taille et de la complexité des systèmes considérés. Dans ce contexte, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. L'effort de test caractérise tout autant l'élaboration des jeux de test que le diagnostic. Dans cette optique, nous avons défini deux méthodologies basées sur les concepts d'analyse de testabilité et les stratégies de test. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes réactifs spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.
APA, Harvard, Vancouver, ISO, and other styles
9

Taylor, Ryland. "Using geomorphology and animal “individuality” to understand ‘scape-scale predator distributions." Thesis, Kansas State University, 2017. http://hdl.handle.net/2097/38227.

Full text
Abstract:
Master of Science
Department of Biology
Martha E. Mather
Determining patterns and drivers of organismal distribution and abundance are fundamental and enduring challenges in ecology, especially for mobile organisms at a ‘scape scale. To address the problem presented by individuals whose distributions are dynamic across large geographic areas, here I tracked 59 acoustically-tagged migratory striped bass (Morone saxatilis) with an array of 26 stationary receivers in Plum Island Estuary (PIE), MA. Specifically, I asked (1) how these predators were distributed across the estuarine seascape, (2) if these fish used three types of geomorphic sites (exits, confluences, and non-confluences) differently, (3) if distinct types of individual distributional “types” existed, and (4) if fish within distinct distributional groups used geomorphic site types and regions differently. Based on three components of predator trajectories (site specific numbers of individuals, residence time, and number of movements), striped bass were not distributed evenly throughout PIE. Confluences attracted tagged striped bass although not all confluences or all parts of confluences were used equally. Use of non-confluences sites was more variable than exits or confluences. Thus, geomorphic drivers and regions link mobile organisms to physical conditions across the seascape. Based on spatial and spatial-temporal cluster analyses, these striped bass predators clustered into four seasonally-resident distributional types. These included the (1) Rowley River group (fish that primarily resided in the Rowley River), (2) Plum Island Sound group (fish that primarily resided in the Middle Sound region), (3) Extreme Fidelity group (fish that spent most of their time in PIE at a single receiver location), and (4) the Exploratory group (fish that showed no affiliation with any particular location). These distributional groups used geomorphic site types and regions differently. Thus, my data show a rare link between behavioral (i.e., individual animal personalities) and field ecology (seascape geomorphology) that can advance the understanding of field-based patterns and drivers of organismal distribution.
APA, Harvard, Vancouver, ISO, and other styles
10

Hidajat, Ivan. "A prototype of a full-scale SCADA system installation using an operator training simulator module as power grid." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-196218.

Full text
Abstract:
Modulen Operator Training Simulator (OTS) syftar till att hjälpa elkraftsystemsoperatörer att förbättra sina kunskaper av elkraftsystemets beteende.  Många kraftföretag har integrerat OTS i sina SCADA-system för utbildningsändamål. Det samma gäller ABB som har en OTS integrerad i sitt Network Manager SCADA / EMS-system. Dock , vid användandet av OTS har Network Manager inte egenskaper såsom det skulle haf om det opererade ett riktigt elkraftnät. Detta projekt syftar till att lösa detta problem och ett alternativt tillvägagångssätt för OTS integration till SCADA föreslagits. Arbetet inleddes med en undersökning av ABB:s SCADA / OTS med en analys av dess avvikelser till ett faktiskt SCADA styrsystem. Efter en inledande fas som involverade testning och studera SCADA / OTS arbetsflöde, fortsatte arbetet med att skapa alternativa lösningar för att undanröja avvikelserna mellan de två systemen. Kärnan i projektet innefattade att konstruera, implementera och testa nya alternativ för integration av OTS och SCADA system. Den framtagna prototypens funktionalitet, nätverksarkitektur, kommunikationsprotokoll och dataflöde undersöktes och jämfördes med de egenskaper på ett SCADA-system för verklig drift. Resultaten av utvärderingen visade att prototypen var en bra representation av ett verkligt SCADA-system.
The Operator Training Simulator (OTS) aims to help power system operators to improve their proficiency of the power system behavior in the current increasing complexity of the control system. Many power utility companies have integrated the OTS into their SCADA system (Walve & Edstrom, 1998) (Demjen, Kadar, Meszaros, & Szendy, 1994) for training purposes. There is no exception for ABB’s; they integrated the OTS into their Network Manager SCADA/EMS system, and it is the main tool for this project. However, the ABB’s SCADA/OTS suffers from incomplete real SCADA properties, e.g., PCU and RTU, due to its sandbox nature. Consequently, it does not realistically represent the full properties and functionalities of an actual SCADA system. To address this issue, an alternative approach for OTS integration to the SCADA has been proposed.  The work started with an exploration of the current ABB’s SCADA/OTS with an analysis of its deviations to an actual SCADA control system. After a preliminary stage that involved testing and studying SCADA/OTS’s workflow, the work continued with creating alternative solutions to eliminate the deviations between the two systems. Then, the core work of the project involved implementation and testing the new alternative prototype since there is a possibility that KTH and/or ABB will use the simulator for a future project. To finalize the work, the prototype’s functionality, network architecture, communication protocols and data flow were examined and compared with the actual SCADA to evaluate the quality of the design. The results of the evaluation showed that the prototype was a good representation of a real SCADA system.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Scade"

1

Scare scape. New York, N.Y: Scholastic Press, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Scale. London: Penguin, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Klein, Carla. Scape. Amsterdam: Artimo, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stockham, Jo. -scape. Warwick: Mead Gallery, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Klein, Carla. Scape. Amsterdam: Artimo, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Scape. Boston, MA: Black Ocean, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Commission of the European Communities. SCAD hebdo = SCAD weekly. Luxembourg: Office for Official Publications of the European Communities, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Boulanger, Jean-Louis, Jean-Louis Camus, Bernard Dion, and Fran�ois-Xavier Fornari. Scade: Language and Applications. Wiley & Sons, Incorporated, John, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Boulanger, Jean-Louis, Jean-Louis Camus, Bernard Dion, and Fran�ois-Xavier Fornari. Scade: Language and Applications. Wiley & Sons, Incorporated, John, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Scare Scape. Scholastic, Incorporated, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Scade"

1

Camus, Jean-Louis. "SCADE: Implementation and Applications." In Formal Methods, 225–71. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.ch6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Labbani, Ouassila, Jean-Luc Dekeyser, and Pierre Boulet. "Mode-Automata Based Methodology for Scade." In Hybrid Systems: Computation and Control, 386–401. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31954-2_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Abdulla, Parosh Aziz, Johann Deneux, Gunnar Stålmarck, Herman Ågren, and Ove Åkerlund. "Designing Safe, Reliable Systems Using Scade." In Leveraging Applications of Formal Methods, 115–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11925040_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Güdemann, Matthias, Frank Ortmeier, and Wolfgang Reif. "Using Deductive Cause-Consequence Analysis (DCCA) with SCADE." In Lecture Notes in Computer Science, 465–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75101-4_44.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Berry, Gérard. "SCADE: Synchronous Design and Validation of Embedded Control Software." In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 19–33. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schlick, Rupert, Wolfgang Herzner, and Thierry Le Sergent. "Checking SCADE Models for Correct Usage of Physical Units." In Lecture Notes in Computer Science, 358–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11875567_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Marre, Bruno, Benjamin Bianc, Patricia Mouy, and Christophe Junke. "GATeL: A V&V Platform for SCADE Models." In Formal Methods, 273–85. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.ch7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dajani-Brown, Samar, Darren Cofer, and Amar Bouali. "Formal Verification of an Avionics Sensor Voter Using SCADE." In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 5–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30206-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Le Sergent, Thierry. "SCADE: A Comprehensive Framework for Critical System and Software Engineering." In Lecture Notes in Computer Science, 2–3. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25264-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Basold, Henning, Henning Günther, Michaela Huhn, and Stefan Milius. "An Open Alternative for SMT-Based Verification of Scade Models." In Formal Methods for Industrial Critical Systems, 124–39. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10702-8_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Scade"

1

Venky, R., Ulka S., Aniket Kulkarni, and Prasad Bokil. "STATEMATE to SCADE model translation." In the 1st conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1342211.1342245.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Shen, Xiaolin, Shaoyin Wang, Daqing Wang, and Xiaoping Xue. "Fault Injection for SCADE Models." In 2013 International Conference on Information Science and Computer Applications (ISCA 2013). Paris, France: Atlantis Press, 2013. http://dx.doi.org/10.2991/isca-13.2013.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Schlabe, Daniel, Tobias Knostmann, and Tilman Bünte. "A Scade Suite to Modelica Interface." In The 8th International Modelica Conference, Technical Univeristy, Dresden, Germany. Linköping University Electronic Press, 2011. http://dx.doi.org/10.3384/ecp11063522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Caspi, Paul, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, and Peter Niebert. "From simulink to SCADE/lustre to TTA." In the 2003 ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/780732.780754.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Papailiopoulou, Virginia. "Automatic Test Generation for LUSTRE/SCADE Programs." In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/ase.2008.96.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gudemann, Matthias, Andreas Angerer, Frank Ortmeier, and Wolfgang Reif. "Modeling of self-adaptive systems with SCADE." In 2007 IEEE International Symposium on Circuits and Systems. IEEE, 2007. http://dx.doi.org/10.1109/iscas.2007.377861.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bousquet, Lydie du, Michel Delaunay, Huy-Vu Do, and Chantal Robach. "Analysis of Testability Metrics for Lustre/Scade Programs." In 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID). IEEE, 2010. http://dx.doi.org/10.1109/valid.2010.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"Using SCADE for Decision Support in Dam Management." In International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2009. http://dx.doi.org/10.5220/0002194801250131.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "A regression testing approach for Lustre/SCADE programs." In SoICT 2015: The Sixth International Symposium on Information and Communication Technology. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2833258.2833278.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ors, Kilyen Attila, and Barabas Laszlo. "Scade interpreter for measuring static and dynamic software metrics." In 2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY 2013). IEEE, 2013. http://dx.doi.org/10.1109/sisy.2013.6662555.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Scade"

1

Josephson, Gary B., and Joseph H. Westsik. Goethite Bench-scale and Large-scale Preparation Tests. Office of Scientific and Technical Information (OSTI), October 2011. http://dx.doi.org/10.2172/1029091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

CARLSON, ROLF E. Sandia SCADA Program -- High Surety SCADA LDRD Final Report. Office of Scientific and Technical Information (OSTI), April 2002. http://dx.doi.org/10.2172/800787.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wardle, Kent E., Kurt Frey, and Candido Pereira. FY10 Report on Multi-scale Simulation of Solvent Extraction Processes: Molecular-scale and Continuum-scale Studies. Office of Scientific and Technical Information (OSTI), February 2014. http://dx.doi.org/10.2172/1118139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Muralidharan, Karthik, and Paul Niehaus. Experimentation at Scale. Cambridge, MA: National Bureau of Economic Research, October 2017. http://dx.doi.org/10.3386/w23957.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Barrera, J., D. C. Smith, and D. J. Devlin. Nano-scale materials. Office of Scientific and Technical Information (OSTI), December 1998. http://dx.doi.org/10.2172/555226.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rearden, B. T., and Matthew Anderson Jessee. SCALE Code System. Office of Scientific and Technical Information (OSTI), April 2016. http://dx.doi.org/10.2172/1424483.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Rearden, Bradley T., and Matthew Anderson Jessee. SCALE Code System. Office of Scientific and Technical Information (OSTI), March 2018. http://dx.doi.org/10.2172/1426571.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

de Visser, C. L. M., and R. van Ree. Small-scale Biorefining. Wageningen: Wageningen University & Research, 2016. http://dx.doi.org/10.18174/405718.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wieselquist, William, Robert Lefebvre, and Matthew Jessee. SCALE Code System. Office of Scientific and Technical Information (OSTI), April 2020. http://dx.doi.org/10.2172/1616812.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hedges, Jeffrey R. Convective Scale Dynamics. Fort Belvoir, VA: Defense Technical Information Center, December 1990. http://dx.doi.org/10.21236/ada231567.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Scade' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography