From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=1.0 required=5.0 tests=BAYES_00,FILL_THIS_FORM, FILL_THIS_FORM_LOAN autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,b4046e8267548c91,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 107324,b4046e8267548c91,start X-Google-Attributes: gid107324,public X-Google-Thread: 103376,b4046e8267548c91,start X-Google-Attributes: gid103376,public X-Google-Thread: 111c4c,b4046e8267548c91,start X-Google-Attributes: gid111c4c,public From: dirk@neptunus.cs.kuleuven.ac.be (Dirk Craeynest) Subject: Ada-Belgium'98 - Concurrency & Real-Time - 98/12/04 Date: 1998/11/23 Message-ID: <73a774$2ai@neptunus.cs.kuleuven.ac.be> X-Deja-AN: 414617601 Distribution: world Cache-Post-Path: marvin!dirk@neptunus.cs.kuleuven.ac.be Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=iso-8859-1 X-Complaints-To: abuse@belnet.be X-Trace: naxos.belnet.be 911777834 16184 134.58.127.3 (22 Nov 1998 23:37:14 GMT) Organization: Ada-Belgium, c/o Dept. Computer Science, K.U.Leuven X-Cache: nntpcache 2.3.2.1 (see http://www.nntpcache.org/) Mime-Version: 1.0 NNTP-Posting-Date: 22 Nov 1998 23:37:14 GMT Newsgroups: comp.lang.ada,be.comp,fr.comp.lang.ada,nl.comp.programmeren Date: 1998-11-22T23:37:14+00:00 List-Id: The following announcement was just posted to the Ada-Belgium mailing lists. Feel free to forward to anyone who might be interested. Dirk Craeynest Ada-Belgium ------------------------------------------------------------------------ Call for Participation A d a - B e l g i u m ' 9 8 - 8 t h A n n u a l S e m i n a r C o n c u r r e n c y & R e a l - T i m e Friday, December 4, 1998 U.L.B., Brussels, Belgium Organized with Assistance from Aonix, ACM SIGAda, Trasys http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html ------------------------------------------------------------------------ Ada-Belgium is a non-profit volunteer organization whose purpose is to promote the use in Belgium of the Ada programming language, the first ISO standardized object-oriented language. Ada offers commercial developers an ideal blend of consistency, maturity, reliability, and performance. Ada supports the creativity and innovation of top technical talent while providing the discipline and engineering required for critical software systems. No other language is as uniquely qualified for building viable, cost-effective, long-term software solutions. It is a choice you need to consider. From: "Ada - The Language For A Complex World" (Ada Resource Association) We are pleased to announce that on Friday, December 4, 1998, Ada-Belgium organizes its 8th Annual Seminar at the premises of U.L.B. in Brussels. Highlights ---------- * Theme of Ada-Belgium'98 is "Concurrency & Real-Time". We will have a mix of longer tutorial like presentations and shorter experience reports or product presentations, given by speakers both from the s.c. Ada vendors and the Ada users. * Free Ada-related material will be distributed, a.o. the new Walnut Creek double CD-ROM (the November 1998 release is a special edition for SIGAda'98 and Ada-Belgium'98). * All presentations are in English. Everyone interested is welcome. More information is available below and at the Ada-Belgium'98 Home Page via URL http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html Here you will find: * the full programme, * abstracts of the talks, * a short biography of the speakers, * information on their company/organization, * free Ada CD-ROMs, * documentation that will be handed out, * the location of the seminar, * the participation fee, * the seminar secretariat, * acknowledgements, * an Ada-Belgium'98 seminar registration form, * an Ada-Belgium membership application form. The annual Ada-Belgium Seminar is an event not to be missed! Do not delay to register! (And be sure to request your FREE copies of the Ada CD-ROMs.) Looking forward to meet many of you in Brussels. Dirk Craeynest Ada-Belgium Board ada-belgium-board@cs.kuleuven.ac.be ------------------------------------------------------------------------ Programme --------- 08:30 - 09:30 Registration 09:30 - 09:35 Welcome (Ada-Belgium) 09:35 - 10:20 Tutorial - Part 1: [0h45] "Real-Time and Safety-Critical Features of Ada95" by Brian Dobbing, Aonix Europe Limited, U.K. 10:20 - 11:00 Technical Presentation: [0h40] "Control Your System from Day One" by Fernand Quartier, Spacebel, Belgium 11:00 - 11:30 Coffee break 11:30 - 12:30 Technical Vendor Presentation: [1h00] "GNAT Goes Embedded: GNATWORKS, GNORT and JGNAT" by Geert Bosch, ACT-Europe, France 12:30 - 13:00 Experience Report: [0h30] "Ada Experience in ITEC" by Wiljan Derks, Philips, Discrete Semiconductors, ITEC, the Netherlands ------------- 13:00 - 14:00 Lunch 14:00 - 14:30 Coffee break ------------- 14:30 - 14:55 Technical Presentation: [0h25] "A Fully Reusable Class of Objects for Synchronization and Communication in Ada 95" by Patrick de Bondeli, France 14:55 - 15:40 Tutorial - Part 2: [0h45] "Real-Time and Safety-Critical Features of Ada95" by Brian Dobbing, Aonix Europe Limited, U.K. 15:40 - 16:10 Coffee break 16:10 - 17:10 Vendor Presentation: [1h00] "Tools for Real-Time and High-Integrity" by Pierre Morere, Aonix France, France 17:10 - 17:30 Experience Report: [0h20] "Example of Ada use in a railway safety-critical application" by Alain Fontaine, Alstom, Belgium 17:30 - 17:35 Closing Remarks (Ada-Belgium) 18:00 End of the Seminar ------------------------------------------------------------------------ Abstracts (provided by the authors) --------- * Tutorial: "Real-Time and Safety-Critical Features of Ada95" Brian Dobbing, Aonix Europe Limited, U.K. (duration: 0h45 + 0h45) The first part of this tutorial presents an overview of the real-time features of Ada95; primarily relating to concurrency, protection, timing and interrupts. This does not assume any prior knowledge of Ada95. The second part of this tutorial presents current developments in standardizing a subset of Ada95 that includes concurrency, for use in domains such as safety-critical, high-integrity and hard real time, as well as for general real-time and embedded systems. * "Control Your System from Day One" Fernand Quartier, Spacebel, Belgium (duration: 0h40) The talk concerns improved design and validation methods. Most developments concentrate on the timing aspects in the beginning and at the end of the project, often with disastrous consequences. For Spacebel, it is clear that the time dimension has to be integrated in all engineering and development phases of a project. When hard-real-time requirements are present, no kernel nor RTOS can provide a guaranteed solution. Spacebel developed a number of original tools to assist the designer and developer: . Schedulability Analyser (based on Ada95 and DMS theory) . Scheduling Simulator (based on Ada95) . Target Simulator, which is some sort of Software Super In-Circuit Emulator which allows non intrusive debugging and validation for C, assembler and Ada. Some Ada compilers, such as the Aonix one, provide a possibility of generating Worst Case Execution Time Estimation, which can be used as an input to the HRT tools. Most important European space projects use or plan to use the Spacebel tools in their development life cycle. Other sectors will follow when quality and risk control requirements increase. More info can be found on the web (www.spacebel.be/products). * Technical Vendor Presentation: "GNAT Goes Embedded: GNATWORKS, GNORT and JGNAT" Geert Bosch, ACT-Europe, France (duration: 1h00) This presentation focuses on new technologies that have been integrated in GNAT to target a wide selection of embedded systems, ranging from bare boards via GNATWORKS to embedded Java Virtual Machines. * Experience Report: "Ada Experience in ITEC" Wiljan Derks, Philips, Discrete Semiconductors, ITEC, the Netherlands (duration: 0h30) The presentation explains who ITEC is and what equipment we make. The presentation goes through the steps that we performed to convert our former RTL/2 and Pascal applications into Ada95 applications running on Windows NT. * Technical Presentation: "A fully reusable class of objects for synchronization and communication in Ada 95" Patrick de Bondeli, France (duration: 0h25) This presentation shows a framework consisting in a very general class which can be reused to specify and implement any type exporting synchronization or communication properties. The new Ada 95 features modelling inheritance, polymorphism and hierarchies of library units are used extensively in describing the architecture of the framework and other new features (access to subprograms, protected types, ...) are used for the specification and implementation of the components of the framework. The implementation does not use exotic concurrent features (requeue, select with terminate or abort,...) and not even entry queueing; this should help reusing this framework in real time applications. The framework relies heavily on formal techniques, both for its construction and reuse principle. The presentation is centered around a reuse case, but the attendance will be given a paper providing a reasonable description of this framework as a whole. * Vendor Presentation: "Tools for Real-Time and High-Integrity" Pierre Morere, Aonix France, France (duration: 1h00) The presentation will present the strategy of Aonix regarding the Ada market. * Experience Report: "Example of Ada use in a railway safety-critical application" Alain Fontaine, Alstom, Charleroi, Belgium (duration: 0h20) [ TO BE PROVIDED ] ------------------------------------------------------------------------ Biography of speakers (provided by the authors) --------------------- * Brian Dobbing, Aonix Europe, U.K. Brian Dobbing is Chief Architect of Safety-Related Products at Aonix. He spearheaded the initiative to introduce the benefits of Ada tasking to the safety-critical community, and was a key member of the workshop that defined the Ravenscar Profile which has now been included in ISO guidelines for the use of Ada in high integrity systems. Brian is the architect and chief designer of the Aonix product line called "Raven" which is the realization of the Ravenscar Profile for targets such as PowerPC, MC680x0 and Intel families. Brian was also a key member of the ISO U.K. delegation during the revision process of Ada that yielded the Ada95 definition. He had specific responsibility for reviewing the new real-time features of the language. * Fernand Quartier, Spacebel, Belgium Fernand Quartier works since 20 years on real-time, distributed and parallel systems. He is currently active as "Technology Coach" for the QuoVadis and ASAP section in Spacebel, Angleur. * Geert Bosch, ACT-Europe, France Geert Bosch has been an consultant for Ada Core Technologies (ACT) since two years and recently has become an employee of ACT Europe. He is one of the developers working on GNATWORKS. * Wiljan Derks, Philips, Discrete Semiconductors, ITEC, the Netherlands Wiljan Derks is Group Manager Software at Philips, Discrete Semiconductors, ITEC (about 90 people). He has been working for Philips for 15 years in equipment control applications, the last 3 years as groupleader of this software group. * Patrick de Bondeli, France Patrick de Bondeli graduated from the French Naval Academy in 1967, served during ten years in the French Navy and has participated in the development of some major embedded real time systems for the French Navy and NATO. He obtained a PhD ("Docteur-Ingenieur") in computer science from the University Paris VI (P. and M. Curie) in 1981. Since 1981, Patrick de Bondeli has been engaged in R and D and consulting in software engineering for concurrent and real time systems. He has, from the start, always been very active in the Ada world, installing the first Ada compiler to be imported in Europe (July 1983), participating in the Ada 9X program, and being an active member of Ada France and Ada in Switzerland (he is both Swiss and French). His main current interests are : . Concurrent and real time systems, . Formal techniques, . Reusable software components, . Object-oriented design and programming, . Ada 95. * Pierre Morere, Aonix France, France Pierre Morere is presales engineer in the Ada and Safety Critical business. He works on the Safe Ada Executive, and on the analysis of ARTK for the Ariane 5 project. * Alain Fontaine, Alstom, Belgium [ TO BE PROVIDED ] ------------------------------------------------------------------------ Companies and Organizations (provided by the authors) --------------------------- * Aonix http://www.aonix.com/ http://www.aonix.fr/ Aonix is a major provider of lifecycle software-development tools and is one of the largest software tools companies in the world. Aonix currently has more than 20,000 installations with half a million users worldwide. The company was formed in November 1996 as a result of the merger of two successful development tools companies Thomson Software Products (formally Alsys and MUST Software), specializing in Ada and MIS tools, and Interactive Development Environments (IDE), an experienced player in the modeling, analysis and design tool market. The Aonix products and array of consulting services provide complete life-cycle solutions for analyzing requirements, designing, implementing, testing and deploying software for the most challenging commercial or technical projects. The comprehensive set of offerings address the most popular object-orientated and structured-development languages including Ada, C, C++, Java, IDL and others on a variety of development platforms. * Spacebel, Belgium http://www.spacebel.be/ The speaker is active in the QuoVadis and ASAP section in Spacebel, Angleur. QuoVadis (standing for Quality Of service Validation, Assessment, Development & Integration systems), is a section in Spacebel that concentrates on tools to develop and improve the quality of service of computer systems, with a major emphasis on the design and control of timing aspects of systems. ASAP focuses on real-time parallel systems. * ACT Europe, France http://www.act-europe.fr/ ACT markets the GNAT Ada 95 development environment and provides assistance to projects that use this toolchain. At ACT, we view our products as a service that we provide to our customers. We believe that high-quality, responsive support is a key ingredient of complex and reliable Ada software products. GNAT, the leading Ada 95 development system, is the only Ada solution that comes with outstanding support. Our objective is to ensure that your project will succeed. This objective shapes all aspects of our business, from the open-system architecture to providing GNAT source code. We are the only company in the Ada marketplace to make support the heart of our business, helping you reduce the time-to-market of systems developed with GNAT. We also provide consulting, training, and customization in all areas of Ada software development with a special emphasis on embedded systems. * Philips, Discrete Semiconductors, ITEC, the Netherlands [ TO BE PROVIDED ] * Patrick de Bondeli, France bondeli@pobox.oleane.com * Alstom, Belgium [ TO BE PROVIDED ] ------------------------------------------------------------------------ Free Ada CD-ROMs ---------------- Copies of the new 16th Edition of the Walnut Creek Ada CD-ROM set, bought by Ada-Belgium through an agreement with the Special Interest Group on Ada of the ACM (ACM SIGAda), will be freely distributed to the first registered participants, up to the amount available. (Last year we could satisfy all demands.) This CD-ROM set includes a.o. ports to lots of platforms of the GNU Ada 95 compiler (GNAT), and Aonix' Ada 95 Compiler and Environment for Windows 95. More information on this special CD-ROM edition for Ada-Belgium'98 is available separately. Documentation ------------- It is a tradition that lots of interesting documents are distributed (freely) on the Seminar day. For this 8th Annual Seminar each participant will be offered, a.o., printed proceedings with papers related to the presentations. Moreover, copies of slides, and additional documents and papers will be distributed. In addition to the free documentation, we are happy to announce that Addison-Wesley Longman Publishers will be present with a selection of their Ada publications. Books will be available for purchase at an attractive discount. And finally, Ada-Belgium sponsor John Robinson & Associates, specialists in Ada 83, Ada 95, HOOD3 and UML training and consultancy, will attend the seminar to give information on their activities. ------------------------------------------------------------------------ Location -------- The Seminar takes place at the premises of the Universit� Libre de Bruxelles (U.L.B.), Boulevard du Triomphe, Campus de la Plaine, B-1050 Brussels, Belgium. Exact location of the Seminar is Auditorium C in the Forum on the Campus Plaine of the U.L.B. See also "How to get there and where to stay?" on the Ada-Belgium'98 Web-pages. Parking facilities are available. Participation fee ----------------- 4000 BEF for Ada-Belgium members 6000 BEF for non-members Free registration for full-time students (without lunch) The participation fee includes all coffee breaks and lunch, full documentation, and a free Walnut Creek Ada CD-ROM set (up to the amount available). Students can optionally pay for lunch. The attached Registration Form has to be returned, signed, preferably before Monday November 30, 1998. Students may arrange registration in group through their institution. Seminar secretariat ------------------- Ada-Belgium'98 Seminar Secretariat Attn. Prof. R. Devillers c/o Universit� Libre de Bruxelles (U.L.B.) Boulevard du Triomphe / Triomflaan Campus de la Plaine, CP 212 B-1050 Brussels Belgium Phone: (32)-2-650.56.11 Fax: (32)-2-650.56.09 E-mail: ada-belgium-board@cs.kuleuven.ac.be WWW: http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/ ------------------------------------------------------------------------ Acknowledgements We would like to thank our sponsors for their continued support of our activities: ACT Europe, John Robinson & Associates, Katholieke Universiteit Leuven (K.U.Leuven), Koninklijke Militaire School / Ecole Royale Militaire (K.M.S./E.R.M.), OFFIS nv/sa, Rational Software Corporation, and Universit� Libre de Bruxelles (U.L.B.). Special thanks to Aonix, ACM SIGAda (ACM Special Interest Group on the Ada programming language), and Trasys nv/sa for their support of this event. ------------------------------------------------------------------------ Information on this and other Ada-Belgium events is available on the Internet at the Ada-Belgium World-Wide-Web pages and is updated regularly. Check out URL http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html -- cut here ------- >8 ------- >8 ------- >8 ------- >8 ------- >8 ----- Ada-Belgium'98 Seminar Registration ________________________________________________________________________ Please mail to or fax to -------------- --------- Ada-Belgium'98 Secretariat + 32 (0)2 650.56.09 Attn. Prof. R. Devillers c/o Universite' Libre de Bruxelles (U.L.B.) Boulevard du Triomphe / Triomflaan Campus de la Plaine, CP 212 B - 1050 Brussels, Belgium Personal Information -------------------- Name __________________________ First name _________________________ Job title / Occupation ________________________________________________ Company / Institution _________________________________________________ Address _______________________________________________________________ ________________________________________________________________________ Zip code ______________________ City _______________________________ Country _______________________ E-mail _____________________________ Telephone _____________________ Telefax ____________________________ I want to register for the Ada-Belgium'98 Seminar that will take place at the U.L.B. in Brussels on December 04, 1998 I will pay the following registration fee (Please tick one item) ----------------------------------------- ___ 4 000 BEF as a current Ada-Belgium member ___ 4 000 BEF as a new Ada-Belgium member Note: If you are not an Ada-Belgium member yet, but you would like to become one, please mail or fax an Ada-Belgium membership application form for 1998 and pay the appropriate fee ___ 6 000 BEF as a non Ada-Belgium member ___ 0 BEF as a full-time student (without lunch) Institution _________________ Please join a copy of your student card Moreover (Please tick all that apply) -------- ___ I would like to receive a copy of the Walnut Creek Ada CD-ROM set ___ Please send me accommodation information Payment information (Please tick one item) ------------------- I agree to pay the appropriate registration fee to Ada-Belgium VZW ___ to account number 979-3829669-17 (Argenta) if paying from inside Belgium ___ to account number 409-9054291-64 (Kredietbank) if paying from outside Belgium mentioning "Ada-Belgium'98 Seminar" Signature _________________________ Date ___________________________ -- cut here ------- >8 ------- >8 ------- >8 ------- >8 ------- >8 ----- 1998 Ada-Belgium Membership Application ________________________________________________________________________ Please mail to or fax to -------------- --------- Ada-Belgium + 32 (0)2 650 56 09 c/o Universite' Libre de Bruxelles (ULB) Boulevard du Triomphe Campus de la Plaine, CP 212 B - 1050 Bruxelles, Belgium Page 1 of _______ Personal Information -------------------- Name __________________________ First name _________________________ For Corporate Members: Name of Appointed Contact Person Job title / Occupation ________________________________________________ Company / Institution _________________________________________________ Address _______________________________________________________________ ________________________________________________________________________ Zip code ______________________ City _______________________________ Country _______________________ E-mail _____________________________ Telephone _____________________ Telefax ____________________________ The above address is ___ my company address ___ my private address Membership (Includes Ada-Europe Membership & Benefits Package) ---------- (Please tick one item) ___ Individual Member (annual fee: 1 000 BEF) ___ Corporate Member (annual fee: 5 000 BEF) ___ Student Member (annual fee: 400 BEF) Payment information (Please tick one item) ------------------- YES, I agree to pay the appropriate registration fee to Ada-Belgium VZW ___ to account number 979-3829669-17 (Argenta), or ___ to account number 409-9054291-64 (Kredietbank), if paying from outside Belgium mentioning "1998 Ada-Belgium Membership" Ada-related Points of Interest ------------------------------ If you have any specific point of interest, please mention them in attachment to this form. Additional Addresses -------------------- If you know other people or companies in Belgium who are interested in Ada, please mention their names and addresses in attachment to this form, and we will contact them with information on Ada-Belgium. Thank you. Signature _________________________ Date ___________________________ Attachment ____________________________________________________________ -- cut here ------- >8 ------- >8 ------- >8 ------- >8 ------- >8 ----- Dirk (Dirk.Craeynest@cs.kuleuven.ac.be for Ada-Belgium e-mail) -- Dirk Craeynest | OFFIS nv/sa | Email Dirk.Craeynest@offis.be Ada-Belgium | Weiveldlaan 41/32 | Phone ++32(2)725.40.25 Ada-Europe | B-1930 Zaventem | ++32(2)729.97.36 (work) Team Ada | Belgium | Fax ++32(2)725.40.12 +-------------/ E-mail: ada-belgium-board@cs.kuleuven.ac.be |Ada-Belgium / WWW: http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/ |on Internet/ FTP: ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium +----------/ Mail-list: ada-belgium-info-request@cs.kuleuven.ac.be *** Dec 04, Ada-Belgium'98, "Concurrency & Real-Time", Brussels *** http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html