----------------------------------------------------
-------------------

Call for Participation

*** PROGRAM SUMMARY ***

22nd International Conference on
Reliable Software Technologies - Ada-Europe 2017

12-16 June 2017, Vienna, Austria

http://www.ada-europe.org/conference2017

Organized by TU Vienna on behalf of Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN
and the Ada Resource Association (ARA)

*** Online registration open ***
*** Early registration discount until May 22 ***
*** Extensive info available on conference web site ***

*** Highly recommended to book your hotel ASAP ***

----------------------------------------------------
-------------------

The 22nd International Conference on Reliable Software Technologies -
Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16,
2017. It is an exciting event with an outstanding technical program,
keynote talks, exhibition and networking from Tuesday to Thursday,
and a rich program of workshops and tutorials on Monday and Friday.

The conference is hosted by TU Vienna at Palais Eschenbach, which is
located near the center of Vienna and can easily be accessed by metro.

The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.

Extensive information is available on the conference web site,
such as an overview of the program, the list of accepted papers and
industrial presentations, and descriptions of workshops, tutorials,
keynote presentations, and social events. Also check the conference
web site for registration, accommodation and travel information.

Quick overview
- Mon 12 & Fri 16: tutorials + workshops
- Tue 13 - Thu 15: core program

Proceedings
- published by Springer
- volume 10300 in Lecture Notes in Computer Science series
- will be available at conference

Program co-Chairs
- Johann Blieberger, TU Vienna, Austria
b...@a...tuwien.ac.at
- Tullio Vardanega, Universitŕ di Padova, Italy
t...@m...unipd.it

Keynote speakers
- Giovanni Battista Gallus, Array, Italy,
on "The laws of robotics and autonomous vehicles may be much more
than three, but don't panic... yet"
- Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics"
- Kay Römer, TU Graz, Austria, on "Dependable Internet of Things"

Workshops (full day)
- 4th International Workshop on "Challenges and new Approaches for
Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017),
focus on "Transportation of the Future"

Tutorials (full day)
- "Introduction to SPARK 2014"
Peter Chapin, Vermont Technical College, USA

Tutorials (half day)
- "Ada on ARM Cortex-M, a Zero-Run-Time Approach"
Maciej Sobczak, GE Aviation and Inspirel, Poland
- "Software Measurement for Dependable Software Systems"
William Bail, The MITRE Corporation, USA
- "Real-Time Parallel Programming with the UpScale SDK"
Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain
- "Using Gnoga for Desktop/Mobile GUI and Web development in Ada"
Jean-Pierre Rosen, Adalog, France
- "Frama-C, a Collaborative Framework for C Code Verification"
Julien Signoles, CEA LIST, France
- "On beyond ASCII: Characters, Strings, and Ada 2012"
Jean-Pierre Rosen, Adalog, France
- "Modular Open System Architecture for Critical Systems"
William Bail, The MITRE Corporation, USA

Papers and Presentations
- 14 refereed technical papers in sessions on Runtimes, Programming
Models, Safety & Security, Timing Verification, Mixed Criticality
- 9 industrial presentations and experience reports in sessions on
Exploratory Uses of Ada, Verification, Large Industrial Applications
- 4 presentations and discussion in special panel session on
"The Future of Safety-Minded Languages"
- submissions by authors from 24 countries, and accepted contributions
from Australia, Austria, Denmark, France, Italy, Portugal, South
Korea, Spain, Sweden, Switzerland, UK, and USA

Vendor exhibition and networking area
- area features exhibitor booths, project posters, reserved vendor
tables, and general networking options
- 4 companies already committed: AdaCore, PTC, Rapita Systems,
VectorCAST; others expected to confirm soon
- vendor presentation sessions in core program

Social events
- each day: coffee breaks in the exhibition space and sit-down lunches
offer ample time for interaction and networking
- Tuesday evening: Ada-Europe General Assembly, followed by Welcome
Reception incl. Robotics Presentations at "TU the Sky"; its terraces
at the top of TU Vienna's buildings offer a terrific view on the city
- Wednesday evening: Vienna bus tour, followed by the traditional
Ada-Europe Conference Banquet, held at a very famous "Heuriger"
- Best Paper and Best Presentation awards will be handed out

Registration highlights this year
- single day registration cost has been reduced
- Wednesday is Meet Ada-Europe day! registration is discounted
- tutorial fees reduced when taken together with 3-day conference

Registration
- online registration is open: select "Registration" at
<http://www.ada-europe.org/conference2017/>
- early registration discount up to Monday May 22, 2017
- additional discount for
academia, Ada-Europe, ACM SIGAda, and ACM SIGPLAN members
- a limited number of student discounts is available
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes all social events
- payment possible by credit card, check, or bank transfer
- see registration page for info on novel student waiver program!

Promotion
- recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017
- 16-page Advance Program brochure available online at
<http://www.ada-europe.org/conference2017/AE2017_adv
ance_program.pdf>
- support Ada-Europe 2017 with promotional material available at
<http://www.ada-europe.org/conference2017/promotion.
html>
- soon also available there: call for participation, ready-to-print
posters for use in your office, university, etc.

Please make sure you book accommodation as soon as possible.
Vienna will be very busy in that week.

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2017>.

----------------------------------------------------
-------------------

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2017 Publicity Chair
D...@c...kuleuven.be

*** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017
*** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org
(V5.3)

do góry

Ada i wszystko jasne... Nic bardziej chorego nie spłodził ludzki umysł...

do góry

On Saturday, April 22, 2017 at 6:12:05 PM UTC+2, s...@g...com wrote:
> Ada i wszystko jasne... Nic bardziej chorego nie spłodził ludzki umysł...

Całkiem zgrabny i przemyślany język imperatywny. Jakieś konkretne zarzuty?

w.

do góry

On 4/22/2017 10:24 PM, Wojciech Muła wrote:
>> Ada i wszystko jasne... Nic bardziej chorego nie spłodził ludzki umysł...
> Całkiem zgrabny i przemyślany język imperatywny. Jakieś konkretne zarzuty?

1) Ariane5 z Overflow Space Agency
2) Nadmiarowe zuzycie klawiatury
3) VHDL

;D

do góry

On Sunday, April 23, 2017 at 10:29:18 AM UTC+2, Sebastian Biały wrote:

Ręce opadają...

> 1) Ariane5 z Overflow Space Agency

Program zrobił dokładnie to, do czego został zaprojektowany. To, że został użyty *w
kontekście*, do którego nie został zaprojektowany, było winą złej integracji systemu
a nie błędów w kodzie. Polecam lekturę raportu z fakapu.

> 2) Nadmiarowe zuzycie klawiatury

W Notepadzie. Programiści używają lepszych edytorów.

> 3) VHDL

Odwrotnie. To VHDL czerpał składnię z Ady. PL/SQL też, btw.

--
Maciej Sobczak * http://www.inspirel.com

do góry

On Monday, April 24, 2017 at 1:29:37 PM UTC+1, Maciej Sobczak wrote:
> On Sunday, April 23, 2017 at 10:29:18 AM UTC+2, Sebastian Biały wrote:
>
> Ręce opadają...
>
> > 1) Ariane5 z Overflow Space Agency
>
> Program zrobił dokładnie to, do czego został zaprojektowany. To, że został użyty *w
kontekście*, do którego nie został zaprojektowany, było winą złej integracji systemu
a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
>

Ciekawe.
Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
zapobiec katastrofie?

> > 2) Nadmiarowe zuzycie klawiatury
>
> W Notepadzie. Programiści używają lepszych edytorów.
>

Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
sie czyta.

--
Michal

do góry

On 4/24/2017 2:29 PM, Maciej Sobczak wrote:
> Ręce opadają...

Nic dziwnego skoro wyciąłeś ostatnią linijkę ;)

do góry

W dniu poniedziałek, 24 kwietnia 2017 16:16:31 UTC+2 użytkownik Michal napisał:

> > > 1) Ariane5 z Overflow Space Agency
> >
> > Program zrobił dokładnie to, do czego został zaprojektowany. To, że został użyty
*w kontekście*, do którego nie został zaprojektowany, było winą złej integracji
systemu a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
>
> Ciekawe.
> Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
> uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
> zapobiec katastrofie?

Katastrofa wynikała z tego, że z pośpiechu wzięto moduł z mniejszej rakiety i po
prostu trzymając kciuki wsadzono go do większej rakiety, której większa prędkość w
czasie startu (zdaje się, że pozioma składowa) nie zmieściła się w założonym
zakresie. Wynikający z tego wyjątek (nie ma znaczenia, że z powodu wyłączenia
wyjątków software'owych był to wyjątek hardware'owy) trafił do procedury obsługi
polegającej na wysadzeniu całej rakiety w p*zdu.
Lepszy język? Tu nie było żadnego buga a program zachował się tak jak miał się
zachować. Błąd był po stronie inżynierów systemowych, którzy złożyli do kupy rakietę
z klocków z niewłaściwego pudełka. Żaden język przed tym specjalnie nie chroni.

> > > 2) Nadmiarowe zuzycie klawiatury
> >
> > W Notepadzie. Programiści używają lepszych edytorów.
>
> Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
> Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
> sie czyta.

Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1 (słownie:
jedna) linia kodu na inżyniera na dzień. W tym czasie wokół tej jednej linii kodu
powstaje kilka albo kilkanaście stron analiz, powiedzmy, że w Wordzie. Przy tych
proporcjach radość z pisania kodu jest tak wielka, że każdą literkę się celebruje a
ludzie się cieszą, że mogą sobie napisać "begin" albo nawet "BEGIN" (a co!) zamiast
zwykłego jednego nawiasu, powiedzmy klamrowego. W takich warunkach trzeba nie mieć
sumienia, żeby krytykować język za nadmiar pisania. :-)

--
Maciej Sobczak * http://www.inspirel.com

do góry

On Mon, 24 Apr 2017 15:24:29 -0700 (PDT), Maciej Sobczak wrote:

>> Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
>> Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
>> sie czyta.
>
> Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1
(słownie: jedna) linia kodu na inżyniera na dzień. W tym czasie wokół tej jednej
linii kodu powstaje kilka albo kilkanaście stron analiz, powiedzmy, że w Wordzie.
Przy tych proporcjach radość z pisania kodu jest tak wielka, że każdą literkę się
celebruje a ludzie się cieszą, że mogą sobie napisać "begin" albo nawet "BEGIN" (a
co!) zamiast zwykłego jednego nawiasu, powiedzmy klamrowego. W takich warunkach
trzeba nie mieć sumienia, żeby krytykować język za nadmiar pisania. :-)

Pomijając już ten specyficzny przypadek to Michał ma rację w szerokim
pojęciu. Zacieranie rączek z zaoszczędzenia 50% kodu jest krótkowzroczne.
Niedawno wklejałem tu do rozkminy 3 linijki kodu JS napisane tak, że nie
wiadomo było o co kaman.
Ale nawet pisząc czytelny kod to fakt mniejszej czy większej liczby
klepnięc w klawiaturę jest tak znikomym ułamkiem całego procesu kodowania,
że nie wiem po co się to w ogóle porusza. Zwłaszcza, że współczesny edytor
redukuje różnicę w pisaniu pomiędzy BEGIN a { do minimum.

--
pozdrawiam
Roman Tyczka

do góry

W dniu 2017-04-25 o 08:29, Roman Tyczka pisze:
> On Mon, 24 Apr 2017 15:24:29 -0700 (PDT), Maciej Sobczak wrote:
>
>>> Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
>>> Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
>>> sie czyta.
>>
>> Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1
(słownie: jedna) linia kodu na inżyniera na dzień. W tym czasie wokół tej jednej
linii kodu powstaje kilka albo kilkanaście stron analiz, powiedzmy, że w Wordzie.
Przy tych proporcjach radość z pisania kodu jest tak wielka, że każdą literkę się
celebruje a ludzie się cieszą, że mogą sobie napisać "begin" albo nawet "BEGIN" (a
co!) zamiast zwykłego jednego nawiasu, powiedzmy klamrowego. W takich warunkach
trzeba nie mieć sumienia, żeby krytykować język za nadmiar pisania. :-)
>
> Pomijając już ten specyficzny przypadek to Michał ma rację w szerokim
> pojęciu. Zacieranie rączek z zaoszczędzenia 50% kodu jest krótkowzroczne.
> Niedawno wklejałem tu do rozkminy 3 linijki kodu JS napisane tak, że nie
> wiadomo było o co kaman.
> Ale nawet pisząc czytelny kod to fakt mniejszej czy większej liczby
> klepnięc w klawiaturę jest tak znikomym ułamkiem całego procesu kodowania,
> że nie wiem po co się to w ogóle porusza. Zwłaszcza, że współczesny edytor
> redukuje różnicę w pisaniu pomiędzy BEGIN a { do minimum.
>

Bo to zależy, ja natomiast poprawiam kody pisane metodą c/p... Ludzie z
jednej strony oszczedzaja linie czy 2 piszac w jednej linii cale if/else
a z drugiej potrafia wymodzić fujkcję mającą 1500 linii i wiele
zagłębień, a teraz to spróbuj zanalizować. Dodatkowo mnóstwo kodu
powtarzającego się, a teraz minimalna zmiana i musisz szukac wszystkich
wystąpień po całym kodzie. Tak więc ja wolę zanim zacznę pisać
przeanalizować problem zanim zacznę pisać, bo okazuje się, że zajmie to
tyle samo czasu, kod będzie krótszy i czytelniejszy.

--
http://kaczus.ppa.pl
http://kaczanowska.info

do góry