Der Rückblick zum TEWI-Kolloquium von Prof. Maximiliano Cristiá, Universidad Nacional de Rosario (Argentina) am 30.03.2012 beinhaltet die Videoaufzeichnung sowie die Folien:

Video

[iframe height=“350″ src=“https://video.aau.at/video.php?video=ftf_cristia.mp4″]

Slides

Abstract

Fastest is a tool that assist software engineers in generating test cases from Z specifications. It provides tool support for a method of model-based testing know as the Test Template Framework. The tool reads a Z specification written in LaTeX markup and waits for commands from the user. Users can apply testing tactics to partition the input space of Z operations thus creating testing trees. Later they can prune these trees to eliminate unsatisfiable test specifications. In a third step, a satisfiability algorithm can be run to find a test case for each leaf in a testing tree. Finally, it is possible to refine these test cases into programs to test the implementation of the Z specification. In this talk I will show how Fastest works on some toy examples and our current research efforts.

Bio:

Maximiliano Cristiá is professor of Software Engineering at Universidad Nacional de Rosario (Argentina) and head of the Software Engineering Group at CIFASIS (International Franco-Argentine Center for Information Sciences and Systems). His research interests include formal methods, particularly model-based testing, software architecture and tool development for the Software Engineer.

Model-based reasoning focuses on formal theories and algorithmic techniques for system-wide diagnosis, planning, and optimization of technical systems.  Distinctive features include the use of compositional models to capture the behavior of components and their interaction, and a generic set of reasoning algorithms.  This talk highlights some of our research in the area of model-based systems, particularly to expand towards on-line estimation and control and hybrids of constraint-based and probabilistic models to capture software behavior and continuous dynamics, and presents some recent applications in the domain of energy informatics and sustainable mobility.

Transforming our energy system from hierarchically structured, fossil fuel resources to a distributed, smart sustainable system is one of the great challenges of our time. In this context researchers target their efforts towards modeling of distribution networks, identifying appropriate communication systems, handling configuration complexity, and algorithms for distributed smart micro-grid networks. The first part of the talk depicts how self-organizing configuration and communication mechanisms can contribute to this goal. The second part of the talk gives an introduction to the smart microgid lab, which provides an experimental environment where motivated students can learn and gain practical experience in the domain of smart grids. Finally, I will give an outlook to projects and collaborations in the smart grid area.

Für eine stabile und sichere Stromversorgung müssen sich Einspeisung und Verbrauch im elektrischen Stromnetz, das heute noch über keine nennenswerten Speicherkapazitäten verfügt, stets im Gleichgewicht befinden. Die zunehmende Einspeisung durch regenerative Energiequellen ist aber nur schwer zu prognostizieren und in der Regel nicht planbar. Um den Ausgleich zwischen Verbrauch und fehlender Erzeugung aus Erneuerbaren herzustellen, muss daher vermehrt auf die am Netz vorhandenen konventionellen Kraftwerke zurückgegriffen werden, da nur sie in ihrer Einspeiseleistung beeinflussbar sind und damit netzstabilisierend eingesetzt werden können.

Parallel dazu müssen regionale Energieüberschüsse entgegen der üblichen Flussrichtung vom Erzeuger in Regionen mit einem Defizit an Erneuerbaren gebracht werden. Auf dem Weg dorthin müssen die Netze ausreichend dimensioniert sein. Auch hierbei spielen konventionelle Kraftwerke eine wichtige Rolle, um die Frequenz im Verbundnetz auch bei Versorgung durch dezentrale Energieerzeuger in jeder Sekunde aufrechtzuerhalten. Um dieser wachsenden Unsicherheit im Betrieb elektrischer, regenerativ geprägter Versorgungsnetze zu begegnen, wird versucht, einen Teil der elektrischen Geräte und Anlagen auf Kundenseite zu flexibilisieren und zur Unterstützung bei der Einhaltung des Gleichgewichtes zwischen Verbrauch und Erzeugung zu beeinflussen, um bspw. bevorzugt dann Strom zu konsumieren, wenn z.B. der Wind gerade heftiger weht.

Derartige intelligente Stromnetze, sog. „Smart Grids“, die das Flexibilisierungspotenzial dezentraler Verbraucher und Erzeuger für einen Ausgleich des Versorgungsgleichgewichts nutzen, müssen jedoch die Belastbarkeitsgrenzen der Netzinfrastruktur jederzeit mit berücksichtigen. Mit zunehmender Anzahl steuerbarer Anlagen, die zu diesem Zweck geregelt werden sollen, erhöht sich die Komplexität der zugrunde liegenden und bislang zentral organisierten Koordinationsaufgabe überproportional. Aus diesem Grund verfolgen zukünftige Smart Grid Konzepte dezentrale Lösungsansätze, die das komplexe Ausgleichsproblem in kleinere und damit leichter beherrschbarere Teilprobleme zerlegen. Derartige Ansätze sind maßgeblich informations- und kommunikationstechnisch geprägt. Stromnetz und Anlagen müssen intelligenter werden und sich kontinuierlich über ihre Bedürfnisse abstimmen, um der geänderten Versorgungsaufgabe gerecht zu werden und den Netzausbaubedarf zu verringern.

Abstract:

ICT infrastructures and enterprise systems are today in a process of deep change, motivated by the transformation that are taking place in two key dimensions. One is the technology dimension, with the advent of Cloud Computing, Service Oriented Architectures (SOA) and SaaS (Software as a Service), Internet of Things and Smart Objects, Semantic Web and Linked Data, and finally the advent of Social Media in the enterprise world, just to name a few among the most relevant ones. Another is the socio-economic dimension, where the slowdown of western economies requires a change in the development models and business paradigms; in particular, enterprises are under pressure to achieve, at the same time, more efficiency and continuous innovation. Therefore, enterprise systems need to refocus, progressively shifting from the management of today resources and value production activities to the invention of future opportunities and new forms of value production. This is, in essence, the current scenario that next generation enterprise systems need to cope with. And the challenges require a new approach to the knowledge assets that is often referred to as the ‘oil of the third millennium’. Therefore, enterprise systems need to deeply change, in the way they are conceived and engineered, achieving a tight integration with semantic technologies and social media.

Bio:

Michele Missikoff, Doctor in Physics (University of Rome „La Sapienza“), worked until 1980 in industrial research labs of two Italian companies, leader in electronic equipment and software development, respectively. Then he started his research carrier, becoming Director of Research in 2001, at the National Research Council, Institute of Analysis of Systems and Informatics, where he coordinated the Database group until 1985, then the Knowledge Engineering group and, in 1999, he founded the LEKS, Lab for Enterprise Knowledge and Systems, that he currently leads as CNR Research Fellow.
He has been the proposer, coordinator and/or active participant in more than 30 national, European and international projects. Has being particular active in various groups, committees, and task forces, promoted by the European Commission, DG Information Society and Media. Currently, he is the coordinator of the FInES (Future Internet Enterprise Systems) Research Roadmap Task Force, launched by the EC FInES Cluster (Unit D4).
He has promoted, organised, and chaired various international conferences and workshops, among which CAiSE, CoopIS, ODBASE, EDBT (co-founder), VLDB (Industrial Co-chair). He has been editor of VLDB Journal, Journal of Applied Intelligence. He has a long teaching experience at University of Roma „La Sapienza“ and LUISS, with courses on Artificial Intelligence, Databases, Information Systems, Knowledge Management. He published more than 150 technical and scientific papers, many on international journals and conference proceedings, with the main focus on application of semantic technologies to e-Business and e-Government. His main research interests are: enterprise ontologies, methods for knowledge representation, ontology engineering, similarity reasoning, business process ontologies, methods and tools for business innovation; and applications in the area of e-tourism, e-government, e-business, and mobile social media.

Der Rückblick zum TEWI-Kolloquium von Eckehard Steinbach, TU München am 27.03.2012 beinhaltet die Videoaufzeichnung sowie die Folien:

Video

[iframe height=“350″ src=“https://video.aau.at/video.php?video=ftf_steinbach.mp4″]

Slides

Abstract

True immersion into a distant environment and efficient distributed collaboration require the ability to physically interact with remote objects and to literally get in touch with other people. Touching and manipulating objects remotely becomes possible if we augment traditional audiovisual communications by the haptic modality. Haptic communications is a relatively young field of research that has the potential to substantially improve human–human and human–machine interaction.

In this talk, we address perceptual coding of haptic information and the transmission of haptic data streams over resource-constrained and potentially lossy networks. In this context, we also briefly discuss the need for objective quality metrics for haptic communication. Throughout the talk, we stress the fact that haptic communications is not meant as a replacement of traditional audiovisual communications but rather as an additional dimension for telepresence that will allow us to advance in our quest for truly immersive communication.

Brief Biography:

Eckehard Steinbach (IEEE M’96, SM’08) studied Electrical Engineering at the University of Karlsruhe (Germany), the University of Essex (Great Britain), and ESIEE in Paris. From 1994 until 2000 he was a member of the research staff of the Image Communication Group at the University of Erlangen-Nuremberg (Germany), where he received the Engineering Doctorate in 1999. From February 2000 to December 2001 he was a Postdoctoral Fellow with the Information Systems Laboratory of Stanford University. In February 2002 he joined the Department of Electrical Engineering and Information Technology of Munich University of Technology (Germany), where he is currently a Full Professor for Media Technology. His current research interests are in the area of audio-visual-haptic information processing and communication as well as networked and interactive multimedia systems.

Unycom GmbH ist ein spezialisierter Anbieter von unternehmensweiten Software-Lösungen in den Bereichen Intellectual Property Management für Unternehmen und Patentanwaltskanzleien. Der Hauptsitz der Unycom GmbH befindet sich mit rund 70 Angestellten in Graz, Österreich. Darüber hinaus haben wir Niederlassungen in München, Deutschland und San Francisco, Kalifornien.

Einige der größten und innovativsten europäischen Konzerne setzen unsere Produkte in mehr als 60 Ländern ein und verwalten damit insgesamt über eine Million Schutzrechte.

Zur Verstärkung unseres erfolgreichen und engagierten Teams suchen wir ab sofort für den Standort Graz eine/n

Mitarbeiter/in SW-Produktdesign [PDF]

Ihr Aufgabengebiet:

Als Mitarbeiter/in im SW-Produktdesign kümmern Sie sich maßgeblich um die Pflege und Weiterentwicklung unserer Softwareprodukte. Dies beinhaltet:

• das Verständnis für kundenspezifische Anforderungen und die gezielte Erhebung dieser Anforderungen
• die Erstellung von fachlichen Konzepten (User Stories) für die Umsetzung dieser Anforderungen im Produkt
• die Ausarbeitung von User Interface- und Interaction-Design-Konzepten sowie die Anfertigung von Prototypen und Scribbles
• das Übernehmen der Rolle des Feature Owner im Rahmen unseres Scrum- Entwicklungsprozesses

Ihr Profil:

• eine einschlägige Ausbildung
• Kreativität und Kommunikationsfähigkeit
• Eigeninitiative und selbstständiges Arbeiten
• Kenntnisse im Bereich Informations- und Interaction-Design
• praktische Erfahrung im Bereich Requirements Engineering und Software Usability von Vorteil
• ausgeprägte analytische und konzeptionelle Fähigkeiten
• sehr gutes Englisch in Wort und Schrift

Unser Angebot:

Wir bieten einen herausfordernden Vollzeitjob mit interessanten Entwicklungsmöglichkeiten in einem ausgezeichneten Betriebsklima.

Für diese Position gilt ein kollektivvertragliches Mindestgehalt in der Höhe von € 2.115,00 brutto/Monat. Es besteht die Bereitschaft zur Überzahlung abhängig von Qualifikation und Berufserfahrung.

Wenn Sie in dieser Position eine Herausforderung sehen und in einem jungen und innovativen Team mitarbeiten möchten, senden Sie Ihre Bewerbung mit Foto bitte an:

Unycom GmbH
St.-Peter-Gürtel 10 / 8042 Graz / AT
www.unycom.com/content/careers / jobs@unycom.com / +43 316 818 828-101