DOCSLIB.ORG

Actes Des Septièmes Journées Nationales Du GDR Génie De La Programmation Et Du Logiciel Xavier Blanc, Laurence Duchien

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Actes Des Septièmes Journées Nationales Du GDR Génie De La Programmation Et Du Logiciel Xavier Blanc, Laurence Duchien Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel Xavier Blanc, Laurence Duchien To cite this version: Xavier Blanc, Laurence Duchien. Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel. 7eme journées du GDR Génie de la Programmation et du Logiciel, Jun 2015, Bordeaux, France. 2015. hal-01169584 HAL Id: hal-01169584 https://hal.inria.fr/hal-01169584 Submitted on 1 Jul 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Actes des Septièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel Université de Bordeaux Laboratoire LaBRI 10 au 12 juin 2015 Editeurs : Xavier Blanc Laurence Duchien Impression : service de reprographie, Université de Bordeaux Table des matières Préface 7 Comités 9 Conférenciers invités 13 Lionel Briand (Université Luxembourg, SnT) : Scalable Software Testing and Verification Through Heuristic Search and Optimization : Experiences and Lessons Learned ....... 15 Françfois Taiani (Université Rennes, IRISA) : Génie logiciel et outils de distribution pour les systèmes répartis de très grande taille .............................. 17 François Pelligrini, (Université Bordeaux, LaBRI) : Aspects juridiques de la création logicielle 19 Sessions des groupes de travail 23 Action AFSEC 23 Claire Pagetti (ONERA) Calcul d’ordonnancement hors-ligne sur plateformes multi/pluri-coeurs à base de méthodes formelles .............................................. 25 Marc Pouzet (Ecole Normale Supérieure, Paris) SCADE Hybrid : une extension de SCADE avec des ODEs ................... 26 Maurice Comlan, David Delfieu, Médésu Sogbohossou (IRCCyN, Université d’Abomey- Calavi) Processus de branchement des réseaux de Petri avec reset arcs ................. 29 Groupe de travail COSMAL 39 Christophe Dony, Petr Spacek, Chouki Tibermacine, Frederic Verdier, Antony Ferrand (Uni- versité Montpellier, LIRMM, Czech Technical University, Prague) Towards a continuum for COMPOnent-based development ................... 41 Thomas Hartmann, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Yves Le Traon (University of Luxembourg, SnT, SINTEF ICT) Reasoning at Runtime using time-distorted Contexts : A [email protected] based Approach . 45 1 Septièmes journées nationales du GDR GPL – 10 au 12 juin 2015 Sébastien Mosser, Romain Rouvoy, Pascal Poizat (I3S, Université Nice-Sophia-Antipolis, CRIStAL, Université Lille 1, LIP6, Universite Nanterre) Groupe de Travail GL/CE : Génie Logiciel pour les systèmes Cyber-physiquEs ........ 51 Groupe de travail Compilation 53 Florian Brandner (ENSTA ParisTech) Refinement of Worst-Case Execution Time Bounds by Graph Pruning ............ 55 Riyadh Baghdadi (Inria/UPMC) Platform-Neutral Compute Intermediate Language for DSL Compilers and Domain Experts 59 Action IDM 61 Olivier Le Goaer (Université de Pau et Pays de l’Adour, LIUPPA) Adaptation d’exécution de modèles ................................ 63 Adel Ferdjoukh (Université de Montpellier, LIRMM) Génération de modèles, une approche basée sur les CSP .................... 65 Simon Urli (Université de Nice Sophia-Antipolis, I3S) : Processus flexible de configuration pour lignes de produits logiciels complexes ............................ 69 Groupe de travail LaMHA 71 Gaétan Hains (Huawei FRC, Boulogne-Billancourt) Programmation BSP chez Huawei ................................. 73 Ludovic Henrio et Eric Madelaine (CNRS/INRIA/I3S, Nice) Vérification de composants distribués : le modèle pNets et son utilisation en pratique .... 75 Frederic Loulergue (Inria & LIFO, Université d’Orléans) et Kiminori Matsuzaki (Kochi Uni- versity of Technology) Modèles fonctionnels de MapReduce en Coq ........................... 77 Groupe de travail LTP 79 Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie (Inria Paris-Rocquencourt, IRISA, Inria, U. Rennes 1, ENS Rennes) A formally-verified C static analyzer, Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie ............................... 81 Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava (Université Paris-Sud, CNRS, LRI) A Coq formalization of the relational data model ........................ 83 2 Table des matières Thibaut Balabonski, François Pottier, Jonathan Protzenko (Inria, Université Paris-Sud, Mi- crosoft Research) Type soundness and race freedom for Mezzo ........................... 87 Groupe de travail MFDL 89 Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais (Université de Sherbrooke, Université Paris Est-Créteil, Télécom Sud-Paris, Université Laval) Validation du standard RBAC ANSI 2012 avec B ........................ 91 Frédéric Loulergue, Wadoud Bousdira, Julien Tesson (Inria, Université d’Orléans, Université Paris-Est) Construction de programmes parallèles en Coq avec des homomorphismes de listes ...... 93 Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue (CEA, Inria, Université Paris-Est) A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C .............................................. 97 Andrei Arusoaie, Dorel Lucanu, David Nowak, Vlad Rusu (Inria, CRIStAL, UAIC, Univer- sité Lille 1) Verifying Reachability-Logic Properties on Rewriting-Logic Specifications ........... 99 Groupe de travail MTV2 101 Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles (CEA, Université Franche-comté, FEMTO-ST) Instrumentation de programmes C annotés pour la génération de tests ............ 103 Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion (CEA, Université de Lorraine, Inria, LORIA, Université du Luxembourg, SnT) Sound and Quasi-Complete Detection of Infeasible Test Requirements ............. 105 Kalou Cabrera Castillos, Helene Waeselynck, Virginie Wiels (LAAS, ONERA) Montre-moi d’autres contre-exemples : une approche basée sur les chemins .......... 107 Groupe de travail RIMEL 109 Cédric Teyton, ean-Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus (LaBRI, U. Bordeaux, CRIStAL, Université Lille 1) Fine-grained and accurate source code differencing ....................... 111 Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo (PPS, U. Paris VII) Easing software component repository evolution ......................... 113 3 Septièmes journées nationales du GDR GPL – 10 au 12 juin 2015 Marco Biazzini, Martin Monperrus, Benoit Baudry (CRIStAL, Université Lille 1, Inria, IRIS, Université Rennes 1) On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems . 131 Table ronde : ’Génie de la Programmation et du Logiciel’ et Agilité : un mariage heureux 141 Mireille Blay-Fornarino (I3S, U. Nice Sophia-Antipolis) & Jean-Michel Bruel (IRIT, U. Tou- louse) : ’Génie de la Programmation et du Logiciel’ et Agilité : un mariage heureux ? ......... 143 Prix de thèse du GDR Génie de la Programmation et du Logiciel 145 Clément Quinton (Université Lille 1, CRIStAL, Inria & Politecnico di Milano) : Une Ap- proche Basée sur les Lignes de Produits Logiciels pour Sélectionner et Configurer un Envi- ronnement d’Informatique dans les Nuages ............................ 147 Julien Henry (Université de Grenoble-VERIMAG) : Static Analysis by Abstract Interpreta- tion and Decision Procedures ................................... 149 Démonstrations et Posters 151 Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau Improving Reuse of Tools by means of Model Migrations .................... 153 Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier Self-configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Clusters ............................................... 155 Amira Radhouani Validation conjointe en UML et B de la sécurité des SI .................... 157 Ronan Saillard Dedukti : un vérificateur de preuves universel .......................... 159 Anas Motii, Agnès Lanusse, Brahim Hamid, Jean-Michel Bruel Incremental pattern-based modeling and security analysis for correct by construction systems design [information on submission 5] .............................. 161 Franck de Goer de Herve Binary analysis for security purposes : approaches based on model inference ......... 163 Adel Ferdjoukh, Eric Bourreau, Annie Chateau and Clémentine Nebut Grimm : un assistant au design de méta-modèles par génération d’instances ......... 165 4 Table des matières Walid Benghabrit Making the cloud more accountable with AccLab framework .................. 167 Victor Allombert, Frédéric Gava, Julien Tesson Multi-ML : Programming Multi-BSP Algorithms in ML ..................... 169 Mohammad Chami, Jean-Michel Bruel SysDICE : Integrated Conceptual Design Evaluation of Mechatronics Systems using SysML . 171 Sebastien Mosser, Romain Rouvoy, Benoit Combemale GLACE : Génie Logiciel pour les systèmes Cyber-physiquEs. "Old Wine, New Bottle ?" ... 173 5 Septièmes journées nationales du GDR GPL – 10 au 12 juin 2015 6 Préface C’est avec grand
Load more

Recommended publications
  • Amazon's Antitrust Paradox
    LINA M. KHAN Amazon’s Antitrust Paradox abstract. Amazon is the titan of twenty-first century commerce. In addition to being a re- tailer, it is now a marketing platform, a delivery and logistics network, a payment service, a credit lender, an auction house, a major book publisher, a producer of television and films, a fashion designer, a hardware manufacturer, and a leading host of cloud server space. Although Amazon has clocked staggering growth, it generates meager profits, choosing to price below-cost and ex- pand widely instead. Through this strategy, the company has positioned itself at the center of e- commerce and now serves as essential infrastructure for a host of other businesses that depend upon it. Elements of the firm’s structure and conduct pose anticompetitive concerns—yet it has escaped antitrust scrutiny. This Note argues that the current framework in antitrust—specifically its pegging competi- tion to “consumer welfare,” defined as short-term price effects—is unequipped to capture the ar- chitecture of market power in the modern economy. We cannot cognize the potential harms to competition posed by Amazon’s dominance if we measure competition primarily through price and output. Specifically, current doctrine underappreciates the risk of predatory pricing and how integration across distinct business lines may prove anticompetitive. These concerns are height- ened in the context of online platforms for two reasons. First, the economics of platform markets create incentives for a company to pursue growth over profits, a strategy that investors have re- warded. Under these conditions, predatory pricing becomes highly rational—even as existing doctrine treats it as irrational and therefore implausible.
    [Show full text]
  • GNU/Linux for Admins
    KNOPPERKNOPPER.NET.NET Dipl.-Ing. Klaus Knopper Linux-Administration Zusammengestellt fur¨ die FH Kaiserslautern/Zweibrucken¨ im Marz¨ 2006 •First •Prev •Next •Last •Full Screen •Quit c 2006 Klaus Knopper Erstellt fur:¨ FH Kaiserslautern/Zweibrucken¨ Folie 1 von ?? KNOPPERKNOPPER.NET.NET Dipl.-Ing. Klaus Knopper Zusammenfassung Linux ist ein leistungsfahiges,¨ stabiles und außerst¨ um- fangreiches Betriebssystem. Im Rahmen dieses Kur- ses sollen die grundlegenden Merkmale von Linux als Server-Plattform, insbesondere die Einrichtung und Wartung haufig¨ genutzter Serverdienste erlautert¨ so- wie ein Einblick in die wichtigsten Konfigurations- und Administrationsaufgaben des Linux-Administrators ge- geben werden. •First •Prev •Next •Last Folie 1 •Full Screen •Quit c 2006 Klaus Knopper Erstellt fur:¨ FH Kaiserslautern/Zweibrucken¨ Folie 2 von ?? KNOPPERKNOPPER.NET.NET Dipl.-Ing. Klaus Knopper Ein wenig Geschichte 1970- Erste Unix-Betriebssysteme auf Großrechnern, vor allem an Universitaten.¨ 1988- POSIX 1003.1 als Standard verabschiedet. 1993- Linus Torvalds gibt den Quelltext fur¨ Kernel 0.1 frei. Das System wird zusammen mit der GNU-Software der Free Software Foundation von vielen Entwicklern weltweit uber¨ das Internet weiterentwickelt. heute- “Linux World Domination“? (Im Einsatz als kleines und mittleres Server-System auf kostengunstigen¨ PCs im Intranet/Internet-Bereich bereits erreicht.) •First •Prev •Next •Last Folie 2 •Full Screen •Quit c 2006 Klaus Knopper Erstellt fur:¨ FH Kaiserslautern/Zweibrucken¨ Folie 3 von ?? KNOPPERKNOPPER.NET.NET Dipl.-Ing. Klaus Knopper Die GNU General Public License Gibt den Empfangern¨ der Software das Recht, ohne Lizenzgebuhren¨ • den Quelltext zur Software zu erhalten, um diese analysieren und nach eigenen Wunschen¨ modifizieren zu konnen,¨ • die Software in beliebiger Anzahl zu kopieren, • die Software zu modifizieren (s.o.), • die Software im Original oder in einer modifizierten Version weiterzugeben oder zu verkaufen, auch kommerziell, wobei die Empfanger¨ der Software diese ebenfalls unter den Konditionen der GPL erhalten.
    [Show full text]
  • Open Source Magazine N°13
    Actualité édito =VhiVaVK^hiVWVWn erci Microsoft ! Merci Ce système de substitution à L’arrivée récente de Vista de de migrer leurs postes PC sous Apple ! Et surtout mer- Mac OS X d’Apple et à Windows Microsoft a donné un nou- Windows vers Mac OS X ou B ci Canonical ! Grâce à de Microsoft était relativement veau coup d’accélérateur à la Linux (selon King Research). vous, les solutions li- peu recherché par le commun diffusion de Linux notamment Ce n’est plus « l’effet halo » si bres connaissent un incroyable des mortels jusqu’à ce que la Ubuntu (et à ses variantes : cher à Apple mais bel et bien succès auprès des passionnés firme sud-africaine Canonical Kubunu, Edubuntu, Xubuntu, « l’effet Vista » ! d’informatique et des utilisa- ne se lance dans la distribution etc) en raison des problèmes Enfin et surtout, le monde du teurs près de leurs sous. gratuite d’Ubuntu sa propre rencontrés avec la nouvelle libre ne serait rien sans la phi- Les mauvais « gestes commer- distribution basée sur Debian, version du système d’exploi- losophie de l’open-source qui ciaux » de Microsoft et d’Apple un dérivé de Linux. tation de Microsoft. En 2007, permet à tout programmeur conduisent de plus en plus les le groupe automobiles PSA a d’apporter, gracieusement, utilisateurs à tester d’abord des Canonical a recherché la sim- migré ses 20 000 postes vers des améliorations à un logiciel logiciels libres alternatifs com- plicité, la clarté, la compatibili- Linux ainsi que l’Assemblée Na- ouvert et de les proposer à l’en- me le navigateur Firefox de la té et la stabilité.
    [Show full text]
  • Tesi Di Dottorato Di Pierpaolo Garofalo
    “Tesi˙pdf” — 2012/1/24 — 17:50 — page 1 — #1 “Tesi˙pdf” — 2012/1/24 — 17:50 — page 2 — #2 “Tesi˙pdf” — 2012/1/24 — 17:50 — page 3 — #3 Universita` Politecnica delle Marche Scuola di Dottorato di Ricerca in Scienze dell’Ingegneria Curriculum Energetica Valutazione della risorsa eolica di aree ad orografia complessa per mezzo di analisi fluidodinamica numerica di mesoscala Tesi di Dottorato di: Pierpaolo Garofalo Tutor: Ch.mo Prof. Renato Ricci Coordinatore del Curriculum: Ch.mo Prof. Massimo Paroncini X Ciclo - Nuova Serie “Tesi˙pdf” — 2012/1/24 — 17:50 — page 4 — #4 “Tesi˙pdf” — 2012/1/24 — 17:50 — page 5 — #5 Universita` Politecnica delle Marche Scuola di Dottorato di Ricerca in Scienze dell’Ingegneria Curriculum Energetica Valutazione della risorsa eolica di aree ad orografia complessa per mezzo di analisi fluidodinamica numerica di mesoscala Tesi di Dottorato di: Pierpaolo Garofalo Tutor: Ch.mo Prof. Renato Ricci Coordinatore del Curriculum: Ch.mo Prof. Massimo Paroncini X Ciclo - Nuova Serie “Tesi˙pdf” — 2012/1/24 — 17:50 — page 6 — #6 Universita` Politecnica delle Marche Scuola di Dottorato di Ricerca in Scienze dell’Ingegneria Facolta` di Ingegneria Via Brecce Bianche – 60131 - Ancona, Italy “Tesi˙pdf” — 2012/1/24 — 17:50 — page i — #7 Sommario Lo scopo della presente ricerca `estato lo sviluppo di un protocollo nu- merico volto allo studio di siti eolici ad orografia complessa al fine di valutarne la producibilit`aenergetica mediante l’uso di codici numerici di mesoscala. A tale proposito sono stati utilizzati i due codici numerici di mesoscala attualmente pi`uusati per effettuare delle simulazioni annuali basate sia su griglie lasche che fini, del sito di interesse.
    [Show full text]
  • Index Images Download 2006 News Crack Serial Warez Full 12 Contact
    index images download 2006 news crack serial warez full 12 contact about search spacer privacy 11 logo blog new 10 cgi-bin faq rss home img default 2005 products sitemap archives 1 09 links 01 08 06 2 07 login articles support 05 keygen article 04 03 help events archive 02 register en forum software downloads 3 security 13 category 4 content 14 main 15 press media templates services icons resources info profile 16 2004 18 docs contactus files features html 20 21 5 22 page 6 misc 19 partners 24 terms 2007 23 17 i 27 top 26 9 legal 30 banners xml 29 28 7 tools projects 25 0 user feed themes linux forums jobs business 8 video email books banner reviews view graphics research feedback pdf print ads modules 2003 company blank pub games copyright common site comments people aboutus product sports logos buttons english story image uploads 31 subscribe blogs atom gallery newsletter stats careers music pages publications technology calendar stories photos papers community data history arrow submit www s web library wiki header education go internet b in advertise spam a nav mail users Images members topics disclaimer store clear feeds c awards 2002 Default general pics dir signup solutions map News public doc de weblog index2 shop contacts fr homepage travel button pixel list viewtopic documents overview tips adclick contact_us movies wp-content catalog us p staff hardware wireless global screenshots apps online version directory mobile other advertising tech welcome admin t policy faqs link 2001 training releases space member static join health
    [Show full text]
  • Elmersolver Manual
    ElmerSolver Manual Juha Ruokolainen, Mika Malinen, Peter Råback, Thomas Zwinger, Antti Pursula and Mikko Byckling CSC – IT Center for Science August 23, 2019 ElmerSolver Manual About this document The ElmerSolver Manual is part of the documentation of Elmer finite element software. ElmerSolver Man- ual describes the Elmer Solver options common for all specific equation solvers. The different equations solver options are described separately in Elmer Models Manual. The ElmerSolver Manual is best used as a reference manual rather than a concise introduction to the matter. The present manual corresponds to Elmer software version 8.4 for Windows NT and Unix platforms. The latest documentation and program versions of Elmer are available (or links are provided) at http://www.csc.fi/elmer. Copyright information The original copyright of this document belongs to CSC – IT Center for Science, Finland, 1995–2019. This document is licensed under the Creative Commons Attribution-No Derivative Works 3.0 License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nd/3.0/. Elmer program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. Elmer software is distributed in the hope that it will be useful, but without any warranty. See the GNU General Public License for more details. Elmer includes a number of libraries licensed also under free licensing schemes compatible with the GPL license. For their details see the copyright notices in the source files.
    [Show full text]
  • By Lina Lecaro 2 | D     - ,  | La Weekly We Nowdeliver!! 3 La Weekly | D     - ,  |
    Miceli’s Turns 70 • Thurston Moore Brings Spirit Counsel to the MASses • 30 Years of Shepard Fairey ® DECEMBER 6-12, 2019 / VOL. 42 / NO. 3 / LAWEEKLY.COM FIGHTING FOR WHAT MATTERS From Black Lives Matter to Reform L.A. Jails, Patrisse Cullors’ approach to social justice is artful and powerful BY LINA LECARO 2 WWW.LAWEEKLY.COM LA WEEKLY | D - , | WE NOW DELIVER!! WE NOWDELIVER!! December 6-12, 2019 // Vol. 42 // No. 3 // laweekly.com THE 3 INJECTING SPECIALISTS LA L LA’S MOST WEEKLY CELEBRATED & PUBLISHER AND CEO FRIENDLY Brian Calle INJECTORS GENERAL MANAGER Jessica Mansour $150 OFF DUET EVENT! | D - , | VP, EVENTS AND PARTNERSHIPS DECEMBER 5 - 12, 2019 Erin Domash $150 OFF EDITORIAL DUET & Contents PURCHASE 24+ UNITS OF BOTOX AT EDITOR-IN-CHIEF AND CREATIVE DIRECTOR $8.95 PER UNIT & SAVE BIG ON JUVEDERM Darrick Rainey LOYALTY ARTS EDITOR FAMILY OF FILLERS 1st SYRINGE 2nd SYRINGE POINTS EARNED Shana Nys Dambrot ULTRA XC (1.0 cc) $270 $370 $20 CULTURE & ENTERTAINMENT EDITOR ULTRA+ XC (1.0 cc) $270 $370 $20 VOLUMA XC (1.0 cc) $445 $545 $30 Lina Lecaro VOLBELLA XC (1.0 cc) $345 $445 $30 FOOD EDITOR VOLLURE XC (1.0 cc) $345 $445 $30 Michele Stueven *EARN LOYALTY POINTS TOWARDS YOUR NEXT TREATMENT. VISIT OUBEAUTY.COM OR CALL FOR MINIMAL RESTRICTIONS MUSIC EDITOR WWW.LAWEEKLY.COM Brett Callwood COPY EDITOR & Avery Bissett $125 OFF LISTINGS DUET Falling James (music) PURCHASE 60+ UNITS OF DYSPORT AT CONTRIBUTING WRITERS ** Lisa Beebe, Nathaniel Bell, Michael Cooper, Lisa $2.95 PER UNIT + Earn $20 Restylane Bucks!* Derrick, Alex Destefano,
    [Show full text]
  • Elmersolver Manual
    ElmerSolver Manual Juha Ruokolainen, Mika Malinen, Peter Råback, Thomas Zwinger, Antti Pursula and Mikko Byckling CSC – IT Center for Science April 1, 2021 ElmerSolver Manual About this document The ElmerSolver Manual is part of the documentation of Elmer finite element software. ElmerSolver Man- ual describes the Elmer Solver options common for all specific equation solvers. The different equations solver options are described separately in Elmer Models Manual. The ElmerSolver Manual is best used as a reference manual rather than a concise introduction to the matter. The present manual corresponds to Elmer software version 9.0. The latest documentation and program versions of Elmer are available (or links are provided) at http://www.csc.fi/elmer. Copyright information The original copyright of this document belongs to CSC – IT Center for Science, Finland, 1995–2019. This document is licensed under the Creative Commons Attribution-No Derivative Works 3.0 License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nd/3.0/. Elmer program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. Elmer software is distributed in the hope that it will be useful, but without any warranty. See the GNU General Public License for more details. Elmer includes a number of libraries licensed also under free licensing schemes compatible with the GPL license. For their details see the copyright notices in the source files. All information and specifications given in this document have been carefully prepared by the best ef- forts of CSC, and are believed to be true and accurate as of time writing.
    [Show full text]
  • Session Presentation
    #CLUS Troubleshooting Firepower Threat Defense like a TAC Engineer Kevin Klous, Technical Leader, CX John Groetzinger, Technical Leader, CX Foster Lipkey, Technical Leader, CX TECSEC-3004 #CLUS Why is FTD troubleshooting so important? • ASA and Firepower technologies have merged into a unified solution: FTD • FTD is more complex to troubleshoot; an understanding of both ASA and Firepower technologies is needed. • Without expertise, there is more risk of network downtime or security breaches. Both are frustrating and impact the business. #CLUS TECSEC-3004 © 2019 Cisco and/or its affiliates. All rights reserved. Cisco Public 3 Presentation Objectives and Outcomes • To combat this, today we're going to arm you with knowledge, skills, and tools to more effectively troubleshoot and resolve incidents on the Cisco FTD platform • We encourage you to think about past or potential future experiences where you can apply these skills Goal: Fewer late night troubleshooting calls #CLUS TECSEC-3004 © 2019 Cisco and/or its affiliates. All rights reserved. Cisco Public 4 Agenda • Introduction • Architecture Overview • Path of the Packet • Troubleshooting Tools • Interactive Troubleshooting • Q&A TECSEC-3004 © 2019 Cisco and/or its affiliates. All rights reserved. Cisco Public 5 Your Presenters Foster Lipkey • Firepower TAC TL • Snort Expert • Sourcefire Veteran • Automation Enthusiast Foster Lipkey #CLUS TECSEC-3004 © 2019 Cisco and/or its affiliates. All rights reserved. Cisco Public 6 Your Presenters John Groetzinger • Technical Leader for Firepower TAC • 6+ Years experience with Firepower and Snort • Original Sourcefire employee • Network security and Linux enthusiast #CLUS TECSEC-3004 © 2019 Cisco and/or its affiliates. All rights reserved. Cisco Public 7 Your Presenters Kevin Klous • Firewall/NGFW Cisco Security TAC for 7 years • Cisco Certified Internetwork Expert (Security – CCIE #43604) • TAC Security Podcast host & panelist • Pursuing M.S.
    [Show full text]
  • TECSEC-3004.Pdf
    Troubleshooting Firepower Threat Defense like a TAC Engineer Kevin Klous, Technical Leader, CX Justin Roberts, Technical Leader, CX John Groetzinger, Technical Leader, CX Foster Lipkey, Technical Leader, CX TECSEC-3004 Cisco Webex Teams Questions? Use Cisco Webex Teams to chat with the speaker after the session How 1 Find this session in the Cisco Events Mobile App 2 Click “Join the Discussion” 3 Install Webex Teams or go directly to the team space 4 Enter messages/questions in the team space TECSEC-3004 © 2020 Cisco and/or its affiliates. All rights reserved. Cisco Public 3 Why is FTD troubleshooting so important? • ASA and Firepower technologies have merged into a unified solution: FTD • FTD is more complex to troubleshoot; an understanding of both ASA and Firepower technologies is needed. • Without expertise, there is more risk of network downtime or security breaches. Both are frustrating and impact the business. TECSEC-3004 © 2020 Cisco and/or its affiliates. All rights reserved. Cisco Public 4 Presentation Objectives and Outcomes • To combat this, today we're going to arm you with knowledge, skills, and tools to more effectively troubleshoot and resolve incidents on the Cisco FTD platform • We encourage you to think about past or potential future experiences where you can apply these skills Goal: Fewer late night troubleshooting calls TECSEC-3004 © 2020 Cisco and/or its affiliates. All rights reserved. Cisco Public 5 Agenda • Introduction • Architecture Overview • Path of the Packet • Troubleshooting Tools • Interactive Troubleshooting • Q&A TECSEC-3004 © 2020 Cisco and/or its affiliates. All rights reserved. Cisco Public 6 Abstract The Cisco Firepower Threat Defense (FTD) next-generation firewall (NGFW) solution combines battle-proven ASA firewall functionality with industry leading Firepower IDS/IPS, malware detection, and content filtering capabilities.
    [Show full text]
  • ABSTRACT INTELLIGENT SIMULINK MODELING ASSISTANCE VIA MODEL CLONES and MACHINE LEARNING by Bhisma Adhikari Source Code Auto-Comp
    ABSTRACT INTELLIGENT SIMULINK MODELING ASSISTANCE VIA MODEL CLONES AND MACHINE LEARNING by Bhisma Adhikari Source code auto-completion has been pursued extensively by the research community, and has benefited software engineering to a great extent. In contrast, analogous research in Model Driven Engineering (MDE), that is, model auto-completion has not been explored as extensively. As a result, there does not exist sufficient MDE tooling that allows for automatic completion of models. This thesis aims to fill that gap by developing a prototype modeling assistant for Simulink using Simone as the underlying model clone detector and machine learning algorithms. The modeling assistant provides two types of suggestions: (1) Simulink block-level suggestions, and (2) Simulink (sub)system-level suggestions, to help modelers auto-complete or extend their Simulink models. It uses machine learning algorithms to produce block-level suggestions and model clone detection to produce (sub)system-level suggestions. Simulink and Simone are chosen over other tools due to their greater maturity and wider adoption. Although this prototype modeling assistant is developed specifically for Simulink, the results and knowledge gained from this research are extendable to any modeling environment for which a text-based model clone detector is available. INTELLIGENT SIMULINK MODELING ASSISTANCE VIA MODEL CLONES AND MACHINE LEARNING A Thesis Submitted to the Faculty of Miami University in partial fulfillment of the requirements for the degree of Master of Science by Bhisma Adhikari Miami University Oxford, Ohio 2021 Advisor: Dr. Matthew Stephan Reader: Dr. Eric J. Rapos Reader: Dr. Christopher Vendome ©2021 Bhisma Adhikari This Thesis titled INTELLIGENT SIMULINK MODELING ASSISTANCE VIA MODEL CLONES AND MACHINE LEARNING by Bhisma Adhikari has been approved for publication by The College of Engineering and Computing and The Department of Computer Science & Software Engineering Dr.
    [Show full text]
  • Studying Main Differences Between Linux & Windows Operating Systems
    International Journal of Electrical & Computer Sciences IJECS-IJENS Vol:12 No:04 25 Studying Main Differences Between Linux & Windows Operating Systems Lecturer/ Hadeel Tariq Al-Rayes Abstract—Comparisons between the Microsoft Windows and II. THE ESSENTIAL DIFFERENCES BETWEEN LINUX & Linux computer operating systems are a long-running discussion WINDOWS (BEGINNERS LEVEL) topic within the personal computer industry. Throughout the 1- Drives don’t have letters, they have mountpoints entire period of the Windows 9x systems through the introduction of Windows 7, Windows has retained an extremely The first thing that usually trips up people who come from large retail sales majority among operating systems for personal Windows to Linux is that filesystems aren’t assigned letters desktop use, while Linux has sustained its status as the most prominent Free Software and Open Source operating system. the way they are in Windows. Instead, there is a single root After their initial clash, both operating systems moved beyond filesystem whose path is “/”. If you must use the Windows the user base of the personal computer market and share a analogy to help you conceptualize it, you can think of this as rivalry on a variety of other devices, with offerings for the server the C:\ drive; it’s the top of the filesystem. The Disk Analyzer and embedded systems markets, and mobile internet access. Shows your Filesystem Usage and Layout Linux mounts new drives in folders inside the root filesystem. You’ll notice that Linux and Microsoft Windows differ in philosophy, cost, if you plug in a USB key, it will be mounted to a path like versatility and stability, with each seeking to improve in their “/media/partition-name”.
    [Show full text]