DOCSLIB.ORG

Ada-Europe 2015 Can Be Found in the Forthcoming Events Section of the Journal

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ada-Europe 2015 Can Be Found in the Forthcoming Events Section of the Journal ADA Volume 35 USER Number 2 June 2014 JOURNAL Contents Page Editorial Policy for Ada User Journal 70 Editorial 71 Quarterly News Digest 72 Conference Calendar 94 Forthcoming Events 100 Press Release “Ada 2012 Language Standard Published in Springer's LNCS and as Free eBook” 104 Articles M. Mefteh, N. Bouassida and H. Ben-Abdallah “Feature Model Extraction from Documented UML Use Case Diagrams” 107 Proceedings of the “Workshop on Mixed Criticality for Industrial Systems” of Ada-Europe 2014 117 R. Davis et al. “PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems” 118 A. Alonso and E. Salazar “Toolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support” 123 P. Lindgren, D. Pereira, J. Eriksson, M. Linder and L.M. Pinho “RTFM-lang Static Semantics for Systems with Mixed Criticality” 128 M. Jan, L. Zaourar, V. Legout and L. Pautet “Handling Criticality Mode Change in Time-Triggered Systems through Linear Programming” 133 O. Cros, F. Fauberteau, L. George and X. Li “Mixed Criticality over Switched Ethernet Networks” 138 A. Cohen, V. Perrelle, D. Potop-Butucaru, E. Soubiran and Z. Zhang “Mixed Criticality in Railway Systems: A Case Study on Signaling Application” 144 Ada-Europe Associate Members (National Ada Organizations) 148 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 35, Number 2, June 2014 70 Editorial Policy for Ada User Journal Publication Original Papers a wider audience. This includes papers Ada User Journal — The Journal for Manuscripts should be submitted in published in North America that are the international Ada Community — is accordance with the submission not easily available in Europe. published by Ada-Europe. It appears guidelines (below). We have a reciprocal approach in four times a year, on the last days of granting permission for other March, June, September and All original technical contributions are submitted to refereeing by at least two publications to reprint papers originally December. Copy date is the last day of published in Ada User Journal. the month of publication. people. Names of referees will be kept confidential, but their comments will Commentaries Aims be relayed to the authors at the discretion of the Editor. We publish commentaries on Ada and Ada User Journal aims to inform software engineering topics. These readers of developments in the Ada The first named author will receive a may represent the views either of programming language and its use, complimentary copy of the issue of the individuals or of organisations. Such general Ada-related software engine- Journal in which their paper appears. articles can be of any length – ering issues and Ada-related activities. inclusion is at the discretion of the The language of the journal is English. By submitting a manuscript, authors grant Ada-Europe an unlimited license Editor. Although the title of the Journal refers to publish (and, if appropriate, Opinions expressed within the Ada to the Ada language, related topics, republish) it, if and when the article is User Journal do not necessarily such as reliable software technologies, accepted for publication. We do not represent the views of the Editor, Ada- are welcome. More information on the require that authors assign copyright to Europe or its directors. scope of the Journal is available on its the Journal. website at www.ada-europe.org/auj. Unless the authors state explicitly Announcements and Reports The Journal publishes the following otherwise, submission of an article is We are happy to publicise and report types of material: taken to imply that it represents on events that may be of interest to our original, unpublished work, not under readers. Refereed original articles on consideration for publication else- where. technical matters concerning Ada Reviews and related topics. Proceedings and Special Issues Inclusion of any review in the Journal Invited papers on Ada and the Ada is at the discretion of the Editor. A standardization process. The Ada User Journal is open to reviewer will be selected by the Editor consider the publication of proceedings to review any book or other publication Proceedings of workshops and of workshops or panels related to the sent to us. We are also prepared to panels on topics relevant to the Journal's aims and scope, as well as print reviews submitted from Journal. Special Issues on relevant topics. elsewhere at the discretion of the Reprints of articles published Interested proponents are invited to Editor. elsewhere that deserve a wider contact the Editor-in-Chief. audience. Submission Guidelines News and miscellany of interest to News and Product Announcements All material for publication should be the Ada community. Ada User Journal is one of the ways in sent electronically. Authors are invited which people find out what is going on to contact the Editor-in-Chief by Commentaries on matters relating in the Ada community. Our readers electronic mail to determine the best to Ada and software engineering. need not surf the web or news groups format for submission. The language of the journal is English. Announcements and reports of to find out what is going on in the Ada conferences and workshops. world and in the neighbouring and/or Our refereeing process aims to be competing communities. We will rapid. Currently, accepted papers Announcements regarding reprint or report on items that may be standards concerning Ada. submitted electronically are typically of interest to them. published 3-6 months after submission. Reviews of publications in the Items of topical interest will normally field of software engineering. Reprinted Articles appear in the next edition. There is no While original material is our first limitation on the length of papers, Further details on our approach to priority, we are willing to reprint (with though a paper longer than 10,000 these are given below. More complete the permission of the copyright holder) words would be regarded as information is available in the website material previously submitted exceptional. at www.ada-europe.org/auj. elsewhere if it is appropriate to give it Volume 35, Number 2, June 2014 Ada User Journal 71 Editorial This editorial is being written at the location of the 19th International Conference on Reliable Software Technologies – Ada- Europe 2014, in the heart of Paris, France, after a really intense week. As usual, the five days of the conference provided both very rich technical contents (some of which we start publishing in this issue) as well as a very pleasant networking atmosphere; I would like to congratulate the conference committees for the excellent week we enjoyed! I also take the opportunity to invite our readers to the next Ada-Europe conference, which will take place in Madrid, Spain, 22-26 June 2015, organised by the Universidad Politécnica de Madrid. More details about Ada-Europe 2015 can be found in the forthcoming events section of the Journal. Also in this section the reader will find updated information on the SIGAda HILT 2014 conference, which will be co-located with the SIGPLAN SPLASH conference, in Portland, Oregon, October 18- 21, 2014. And I am very pleased to inform about the next edition of the International Real-Time Ada Workshop, which will take place April 2015, in Vermont, USA. We expect to publish the call for papers of IRTAW 2015 in the next issue of the Journal. Concerning the technical contents of this issue, the first paper, from a group of authors from the Sfax University, Tunisia and King Abdulaziz University, Saudi Arabia, presents an automated approach to extract the features model from software product lines. Afterwards, the issue publishes the Proceedings of the “Workshop on Mixed Criticality for Industrial Systems”, which took place at Ada-Europe 2014, June 27. The workshop provided a discussion forum on research and practice in Mixed-Criticality Systems, showing how research activities interact with industrial needs. The workshop program consisted of a keynote talk, and two technical sessions. The keynote talk was given by Albert Cohen, senior research scientist in the PARKAS group at INRIA, France on the topic of “Correct-by-Construction Multiprocessor Programming: A Common Approach for Parallel and Mixed-Critical System Design”. Multicore and mixed-criticality are important topics, being even more important to provide safe ways to develop such kind of systems. The first technical session started with a position paper on the PROXIMA project, on the topic of probabilistic approaches for timing behaviour of mixed-criticality systems, from a group of authors from multiple institutions: the University of York, UK, University of Padova, Italy, Aeroflex Gaisler, Sweden, Sysgo, France, Rapita Systems, UK, Ikerlan, Spain, Airbus Operations, France, INRIA Paris-Rocquencourt, France, Astrium, France, Infineon Technologies, UK and Barcelona Supercomputing Center, Spain. Then, a work from Universidad Politécnica de Madrid, Spain, provided insights in the support for automatic partitioning generation in the MultiPARTES toolset. The third work, from the Luleå University of Technology, Sweden and the CISTER Research Centre, Portugal, described the RTFM-lang approach using compile-time analysis to distinguish critical and non-critical functions and generate the appropriate access mechanisms. The second session of the workshop started with a work from CEA-LIST, France, Virginia Tech, USA and Telecom Paristech, France, showing how a linear programming approach can be used to generate time-triggered schedules for mode changes in dual-criticality systems. After that, a work from ECE Paris and University Paris-Est, France, analysed how to integrate criticality handling in the IEEE 1588 Precision Time Protocol. And finally, a work from INRIA, Technological Research Institute SystemX, and Alstom Transport, France, presented a case study of mixed-criticality systems, in a signalling railway application. It was a very rich workshop, with fruitful interaction between participants promoting collaboration between the different communities represented.
Load more

Recommended publications
  • A Guide to Free Desktop Planetarium Software Resources
    Touring the Cosmos through Your Computer: A Guide to Free Desktop Planetarium Software Resources Matthew McCool Southern Polytechnic SU E-mail: [email protected] Summary Key Words This paper reviews ten free software applications for viewing the cosmos Open source astronomy through your computer. Although commercial astronomy software such as Astronomy software Starry Night and Slooh make for excellent viewing of the heavens, they come Digital universes at a price. Fortunately, there is astronomy software that is not only excellent but also free. In this article I provide a brief overview of ten popular free Desktop Planetarium software programs available for your desktop computer. Astronomy Software Table 1. Ten free desktop planetarium applications. Software Computer Platform Web Address Significant strides have been made in free Asynx Windows 2000, XP, NT www.asynx-planetarium.com Desktop Planetarium software for modern commercial computers. Applications range Celestia Linux x86, Mac OS X, Windows www.shatters.net/celestia from the simple to the complex. Many of Deepsky Free Windows 95/98/Me/XP/2000/NT www.download.com/Deepsky- Free/3000-2054_4-10407765.html these astronomy applications can run on several computer platforms (Table 1). DeskNite Windows 95/98/Me/XP/2000/NT www.download.com/DeskNite/ 3000-2336_4-10030582.html Digital Universe Irix, Linux, Mac OS X, Windows www.haydenplanetarium.org/ Most amateur astronomers can meet their universe/download celestial needs using one or more of these Google Earth Linux, Mac OS X, Windows http://earth.google.com/ applications. While applications such as MHX Astronomy Helper Windows Me/XP/98/2000 www.download.com/MHX- Stellarium and Celestia provide a more or Astronomy-Helper/ less comprehensive portal to the heavens, 3000-2054_4-10625264.html more specialised programs such as Solar Solar System 3D Simulator Windows Me/XP/98/2000/NT www.download.com/ System 3D Simulator provide narrow, but Solar-System-3D-Simulator/ focused functionality.
    [Show full text]
  • Review of Digital Globes 2015
    A Digital Earth Globe REVIEW OF DIGITAL GLOBES 2015 JESSICA KEYSERS MARCH 2015 ACCESS AND AVAILABILITY The report is available in PDF format at http://www.crcsi.com.au We welcome your comments regarding the readability and usefulness of this report. To provide feedback, please contact us at [email protected] CITING THIS REPORT Keysers, J. H. (2015), ‘Digital Globe Review 2015’. Published by the Australia and New Zea- land Cooperative Research Centre for Spatial Information. ISBN (online) 978-0-9943019-0-1 Author: Ms Jessica Keysers COPYRIGHT All material in this publication is licensed under a Creative Commons Attribution 3.0 Aus- tralia Licence, save for content supplied by third parties, and logos. Creative Commons Attribution 3.0 Australia Licence is a standard form licence agreement that allows you to copy, distribute, transmit and adapt this publication provided you attribute the work. The full licence terms are available from creativecommons.org/licenses/by/3.0/au/legal- code. A summary of the licence terms is available from creativecommons.org/licenses/ by/3.0/au/deed.en. DISCLAIMER While every effort has been made to ensure its accuracy, the CRCS does not offer any express or implied warranties or representations as to the accuracy or completeness of the information contained herein. The CRCSI and its employees and agents accept no liability in negligence for the information (or the use of such information) provided in this report. REVIEW OF DIGITAL GLOBES 2015 table OF CONTENTS 1 PURPOSE OF THIS PAPER ..............................................................................5
    [Show full text]
  • Alessandro Ludovico
    POSt- DIGITAL PRINT The Mutation of Publishing since 1894 Alessandro Ludovico ONOMATOPEE 77 In this post-digital age, digital technology is no longer a revolutionary phenomenon but a normal part of every- day life. The mutation of music and film into bits and bytes, downloads and streams is now taken for granted. For the world of book and magazine publishing however, this transformation has only just begun. Still, the vision of this transformation is far from new. For more than a century now, avant-garde artists, activists and technologists have been anticipating the development of networked and electronic publishing. Although in hindsight the reports of the death of paper were greatly exaggerated, electronic publishing has now certainly become a reality. How will the analog and the digital coexist in the post-digital age of publishing? How will they transition, mix and cross over? In this book, Alessandro Ludovico re-reads the history of media technology, cultural activism and the avant- garde arts as a prehistory of cutting through the so-called dichotomy between paper and electronics. Ludovico is the editor and publisher of Neural, a magazine for critical digital culture and media arts. For more than twenty years now, he has been working at the cutting edge (and the outer fringes) of both print publishing and politically engaged digital art. ISBN 9789078454878 90000 > 9 789078 454878 POSt- DIGITAL PRINT The Mutation of Publishing since 1894 Alessandro Ludovico ONOMATOPEE 77 1 2 contents Introduction. 7 Chapter 1 – The death of paper (which never happened). 15 1.1 Early threats to the printed medium.
    [Show full text]
  • Book XVII License and the Law Editor: Ramon F
    8 88 8 8nd 8 8888on.com 8888 Basic Photography in 180 Days Book XVII License and the Law Editor: Ramon F. aeroramon.com Contents 1 Day 1 1 1.1 Photography and the law ....................................... 1 1.1.1 United Kingdom ....................................... 2 1.1.2 United States ......................................... 6 1.1.3 Hong Kong .......................................... 8 1.1.4 Hungary ............................................ 8 1.1.5 Macau ............................................. 8 1.1.6 South Africa ......................................... 8 1.1.7 Sudan and South Sudan .................................... 9 1.1.8 India .............................................. 10 1.1.9 Iceland ............................................ 10 1.1.10 Spain ............................................. 10 1.1.11 Mexico ............................................ 10 1.1.12 See also ............................................ 10 1.1.13 Notes ............................................. 10 1.1.14 References .......................................... 10 1.1.15 External links ......................................... 12 2 Day 2 13 2.1 Observation .............................................. 13 2.1.1 Observation in science .................................... 14 2.1.2 Observational paradoxes ................................... 14 2.1.3 Biases ............................................. 15 2.1.4 Observations in philosophy .................................. 16 2.1.5 See also ...........................................
    [Show full text]
  • ESTUDOS DE DIREITO DE AUTOR E INTERESSE PÚBLICO Anais Do X CODAIP X Congresso De Direito De Autor E Interesse Público UFPR – SCJ – GEDAI Praça Santos Andrade, N
    ESTUDOS DE DIREITO DE AUTOR E INTERESSE PÚBLICO Anais do X CODAIP X Congresso de Direito de Autor e Interesse Público UFPR – SCJ – GEDAI Praça Santos Andrade, n. 50 CEP: 80020-300 - Curitiba – PR E-mail: [email protected] Site: www.gedai.com.br GEDAI/UFPR Esta obra é distribuída por meio da Licença Creative Commons 3.0 Atribuição/Uso Não-Comercial/Vedada a Criação de Obras Derivadas / 3.0 / Brasil GEDAI Grupo de Estudos de Direito Autoral e Industrial Prof. Dr. Marcos Wachowicz (organizador) ESTUDOS DE DIREITO DE AUTOR E INTERESSE PÚBLICO Anais do X CODAIP X Congresso de Direito de Autor e Interesse Público Curitiba Universidade Federal do Paraná 2016 Anais do X Congresso de Direito de Autor e Interesse Público (2016: Curitiba, PR) Coordenadores: Marcos Wachowicz, Marcia Carla Pereira Ribeiro, Sérgio Staut Jr e José Augusto Fontoura Costa EDIÇÃO EM FORMATO IMPRESSO E DIGITAL Disponível em: www.gedai.com.br ISSN: 2178-745X 1. Direitos autorais. 2. Propriedade intelectual. 3. Sociedade da informação. 4. Ambiente digital. 5. Inovações tecnológicas. 6. Domínio público. Catalogação na publicação por: Onélia Silva Guimarães CRB-14/071 PREFIXO EDITORIAL 67141 Kiko Garcia Ilustração (capa) Marco Tulio Braga de Moraes Projeto gráfico e capa Marco Tulio Braga de Moraes Marcelle Cortiano Monica Arjomand Diagramação Rodrigo Otávio Cruz e Silva Heloisa Medeiros Rodrigo Vieira Monica Arjomand Revisão Universidade Federal do Paraná - UFPR Faculdade de Direito Praça Santos Andrade, n, 50 CEP. 80020 300 Curitiba - Paraná Fone:(55) 41 33102750 / 41 3310 2688 E-mail: [email protected] Site: www.gedai.com.br X CONGRESSO DE DIREITO DE AUTOR E INTERESSE PÚBLICO WORKSHOP DOS GRUPOS DE ESTUDOS ANAIS DO X CODAIP REALIZAÇÃO APOIO MINISTÉRIO DA CULTURA CONSELHO EDITORIAL Allan Rocha de Souza – UFRRJ/UFRJ José de Oliveira Ascensão – Univ.
    [Show full text]
  • MAGPICK - Magnetic Map & Profile Processing
    MAGPICK - magnetic map & profile processing. User Guide. Mikhail Tchernychev. 16/02/98 Beta version of the manual - last revised 12/12/2013 Contents 1 Copyrights 6 1.1 MagPick Copyright Notice . 6 1.2 PROJ lib Copyright Notice . 6 1.3 Info-Zip Copyright Notice . 6 2 History and features of Magpick 8 2.1 Version 1.0 - 1996 -1998 . 8 2.2 Version 2.0 - 1998 -1999 . 9 2.3 Version 2.x - 2000 - 2004 . 10 2.4 Version 2.8 - 3.00: 2004 -2009 . 11 2.5 Version 3.20: 2009 -2011 . 11 3 Installation. 12 3.1 System requirements. 12 3.2 Compilation. 13 3.3 MS Windows installation. 13 4 MagPick project files 13 4.1 MagPick project file internals . 15 4.2 MagPick project files environment variable . 16 5 Basic MagPick operation 17 5.1 Magpick as map (grid) viewer. 18 5.1.1 Transforming equalized color palette into gradient. 28 5.2 Drawing and clipping on top of the map . 29 5.2.1 Magpick vector formats: lines, polygons, points, clip area. 29 5.2.2 Bringing an AutoCAD DXF drawing into Magpick. 31 5.2.3 Using ArcInfo(TM) shape files in magpick . 32 5.3 Simple picking of magnetic anomalies . 32 5.3.1 Simple pick. 32 5.3.2 Pick export . 33 5.4 Automatic pick . 34 5.5 Profile information loading and viewing . 35 5.5.1 Profile loading. 35 5.5.2 Simple profile load. 37 5.5.3 Loading profile data using templates . 40 5.5.4 Operation with profiles on the map.
    [Show full text]
  • Data Driven Disruptive Commons- Based Models
    Data driven disruptive commons- based models H2020–ICT-2016-1 DECODE D2.4 Data driven disruptive commons-based models 1 Project no. 732546 DECODE DEcentralised Citizens Owned Data Ecosystem D2.4 Data driven disruptive commons-based models Version Number: V1.0 Lead beneficiary: CNRS Due Date: October 31st Author(s): Carlo Vercellone (Dir. CNRS-CEMTI) Francesco Brancaccio (CNRS-CEMTI), Alfonso Giuliani (CNRS), Federico Puletti (Université Paris Nanterre), Giulia Rocchi (CNRS), Pierluigi Vattimo (CNRS). Contributor(s): Francesca Bria (IMI BCN), Antonio Calleja López (UOC), Oleguer Sagarra (IMI BCN), Tom Demeyer (Waag). Editors and reviewers: (WAAG), (UOC), (IMI). Dissemination level: PU Public × PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services) Approved by: Francesca Bria (Chief Technology and Digital Innovation Officer, Barcelona City Hall). Date: 31/10/2018 H2020–ICT-2016-1 DECODE D2.4 Data driven disruptive commons-based models 2 Contents Introduction 6 1. Platform capitalism and two-sided markets 8 1.1 The economic laws of platform and data capitalism 10 1.2. The ‘merchantable gratuitousness’ models of Google and Facebook: advertising and unpaid digital labour 15 1.2.1 The Google case: the platform of platforms or integrated global platform 18 1.2.2. The Facebook case: the network of social networks 24 1.2.3. The controversy about free digital labour and prosumers’ work 28 1.3. The model of the ‘uberisation’ of the economy and on-demand platforms: back to digital putting-out systems? 39 1.4 The hybrid model of Amazon: labour and Big Data in the ‘monstrous e-commerce’ 44 1.5 Generalisation of the platform model: towards the nomos of the Cloud, the Internet of Things and the Smart Cities 56 2.
    [Show full text]
  • The Whole Digital Library Handbook
    the whole digital library handbook edited by diane kresh CONTENTS i THE WHOLE DIGITAL LIBRARY HANDBOOK Edited by Diane Kresh for the Council on Library and Information Resources American Library Association Chicago 2007 While extensive effort has gone into ensuring the reliability of information appearing in this book, the publisher makes no warranty, express or implied, on the accuracy or reliability of the information, and does not assume and hereby disclaims any liability to any person for any loss or damage caused by errors or omissions in this publication. Composition by Priority Publishing using Adobe PageMaker 7.0 on a Windows platform. Selected artwork from ClipArt.com. Printed on 50-pound white offset, a pH-neutral stock. The paper used in this publication meets the minimum requirements of American National Standard for Information Sciences—Permanence of Paper for Printed Library Materials, ANSI Z39.48-1992. Library of Congress Cataloging-in-Publication Data The whole digital library handbook / edited by Diane Kresh for the Council on Library and Information Resources. p. cm. Includes index. ISBN 0-8389-0926-4 (alk. paper) 1. Digital libraries—Handbooks, manuals, etc. I. Kresh, Diane. II. Council on Library and Information Resources. ZA4080.W48 2007 025.00285—dc22 2006027498 Copyright © 2007 by the American Library Association. All rights reserved except those which may be granted by Sections 107 and 108 of the Copyright Revision Act of 1976. Permission is granted to copy, distribute, and/or modify the Wikipedia articles excerpted on pages 2–3 and 241 under the terms of the GNU Free Documenta- tion License, Version 1.2, or any later version published by the Free Software Foundation (see www.gnu.org/copyleft/fdl.html).
    [Show full text]