SwePub - sökning: WFRF:(Fors Niklas)

Numrering	Referens	Omslagsbild	Hitta
1.	Andersson, Jan, et al. (författare) Traffic safety effects when overtaking 30 meter trucks 2012 Ingår i: Advances in Human Factors and Ergonomics 2012- 14 Volume Set. - : Taylor & Francis. - 146655262X - 9781466552623 Konferensbidrag (refereegranskat)abstract The purpose of this paper is to investigate if the introduction of extra-long and heavy trucks has an effect on traffic safety on Swedish roads, especially in relation to overtaking maneuvers. Traffic safety effects will be measured in terms of road user behavior concerning accelerations and time slots. First, focus group interviews with heavy truck drivers. Truck drivers that do not drive extra-long trucks believe that the introduction of extra-long trucks will create a number of traffic safety problems especially in terms of conflicts with ordinary road users. The drivers of extra-long trucks do not experience the problems that ordinary truck drivers predict. The problems they experience can be taken care of with more planning (thinking ahead). They also believe that the traffic sign on the back of the extra-long vehicle has a positive effect. The truck company, working environment and truck equipment are other important aspects mentioned by the drivers of the extra-long vehicles.The simulator study investigates overtaking situations on a 2+1-lane highway, with extra-long trucks (30.4 m) and ordinary trucks (18.75 m). The results reveal that the distance from the rear/front of the truck to the point where only one lane exists affects car drivers’ decision to overtake, independently of truck length. If the truck is in the relatively same position, the timeslot for a safe overtaking maneuver before next one-lane section was reduced significantly for extra-long trucks compared to ordinary trucks. The conclusion is that there exist small tendencies which point in the direction of enhanced traffic safety problems with the introduction of extra-long trucks. The results should, however, be interpreted with caution as the number of data points was few and collected in specific situations and in specific conditions. It was neither considered how the introduction of longer and heavier trucks, given a constant amount of goods, reduces the number of heavy trucks on the road network.
2.	Andersson, Jan, et al. (författare) Trafiksäkerhetspåverkan vid omkörning av 30-metersfordon 2011 Rapport (övrigt vetenskapligt/konstnärligt)abstract Trafikverket överväger att tillåta längre och tyngre fordon på vägarna förutsatt att de inte påverkar trafiksäkerheten negativt. Syftet med studien var att undersöka säkerhetseffekten av fordonslängd, speciellt med avseende på olycksrisken vid omkörningar. Intervjuade förare av en 30-meters timmerbil hade inte upplevt de farhågor som förare av normallånga lastbilar uttryckt i samband med trånga rondeller och korsningar, men de nämner betydelsen av stödjande åkeri, arbetsmiljö och fordonsutrustning. En simulatorstudie studerade bilförares omkörningar av ett 30- och ett 18,75-metersfordon på en 2+1-väg i situationen då två körfält går ihop till ett. Tidluckan till ett återstående körfält var i genomsnitt 0,2 s (sign.) kortare efter omkörningar av 30-metersfordonet i situationer då bakänden var i samma relativa position som för 18,75-metersfordonet vid början av omkörningen. En fältstudie analyserade videoinspelade omkörningar av en 30- och en 24-meters timmerbil på en 2+1-väg och en tvåfältig väg. Ingen signifikant skillnad i tidluckor kunde påvisas mellan omkörningar av de två fordonen för någon av vägtyperna. Det senare resultatet ska dock tolkas med försiktighet på grund av ojämnt distribuerad data som insamlats under specifika förhållanden. Slutsatserna är att det finns en liten tendens till negativ säkerhetseffekt vid omkörningar av längre fordon, och att fler fältstudier är nödvändiga.
3.	Bauhn, Lovisa, 1981, et al. (författare) The fate of hydroxyl radicals produced during H2O2 decomposition on a SIMFUEL surface in the presence of dissolved hydrogen 2018 Ingår i: Journal of Nuclear Materials. - : Elsevier BV. - 0022-3115. ; 507, s. 38-43 Tidskriftsartikel (refereegranskat)abstract Over geologic timescales hydrogen peroxide will be one of the most important radiolytic oxidants challenging the spent fuel integrity in a deep repository. Consequently, the reaction between hydrogen peroxide and different kinds of UO 2 based materials has been the subject of several studies over recent decades. Parts of these studies have investigated the effect of dissolved hydrogen on this reaction, as large amounts of hydrogen are expected to be produced by anoxic corrosion of iron in the deep repositories. In some of the studies hydrogen has been shown to offset the radiolysis-driven oxidative dissolution of the fuel despite the expected inertia of hydrogen at repository temperatures. However, the underlying mechanism is primarily based on the effect of the metallic particles contained in the spent fuel. One clue to the mechanistic understanding is whether or not a reaction takes place between dissolved hydrogen and hydroxyl radicals adsorbed to a fuel surface resulting from the decomposition of H 2 O 2 . In the study presented here this reaction could be confirmed in an autoclave system with SIMFUEL, a hydrogen peroxide spiked solution, and deuterium gas. The results show that the studied reaction does not only occur, but accounts for a substantial part of the hydrogen peroxide consumption in the system. Only a very minor part, 0.02%, of the total consumed hydrogen peroxide caused oxidative dissolution of the SIMFUEL. The conclusion is supported by quantitative measurements of HDO, dissolved U in solution and O 2 in the gas phase.
4.	Bauhn, Lovisa, 1981, et al. (författare) The interaction of molecular hydrogen with α-radiolytic oxidants on a (U,Pu)O2 surface 2018 Ingår i: Journal of Nuclear Materials. - : Elsevier BV. - 0022-3115. ; 505, s. 54-61 Tidskriftsartikel (refereegranskat)abstract In order to assess the impact of α-radiolysis of water on the oxidative dissolution of spent fuel, an un-irradiated, annealed MOX fuel pellet with high content of Pu (∼24 wt%), and a specific α-activity of 4.96 GBq/g MOX , was leached in carbonate-containing solutions of low ionic strength. The high Pu content in the pellet stabilizes the (U,Pu)O 2 (s) matrix towards oxidative dissolution, whereas the α-decays emitted from the surface are expected to produce ∼3.6 × 10 −7 mol H 2 O 2 /day, contributing to the oxidative dissolution of the pellet. Two sets of leaching tests were conducted under different redox conditions: Ar gas atmosphere and deuterium gas atmosphere. A relatively slow increase of the U and Pu concentrations was observed in the Ar case, with U concentrations increasing from 1·10-6 M after 1 h to ∼7 × 10-5 M after 58 days. Leaching under an atmosphere starting at 1 MPa deuterium gas was undertaken in order to evaluate any effect of dissolved hydrogen on the radiolytic dissolution of the pellet, as well as to investigate any potential recombination of the α-radiolytic products with dissolved deuterium. For the latter purpose, isotopic analysis of the D/H content was carried out on solution samples taken during the leaching. Despite the continuous production of radiolytic oxidants, the concentrations of U and Pu remained quite constant at the level of ∼3 × 10-8 M during the first 30 days, i.e. as long as the deuterium pressure remained higher than 0.8 MPa. These data rule out any oxidative dissolution of the pellet during the first month. The un-irradiated MOX fuel does not contain metallic ε-particles, hence it is mainly the interaction of ra diolytic oxidants and dissolved deuterium with the surface of the mixed actinide oxide that causes the neutralization of the oxidants. This conclusion is supported by the steadily increasing levels of HDO measured in the leachate samples.
5.	Buffoni, Lena, et al. (författare) Open source languages and methods for cyber-physical system development : Overview and case studies 2021 Ingår i: Electronics (Switzerland). - Basel : MDPI AG. - 2079-9292. ; 10:8 Tidskriftsartikel (refereegranskat)abstract Industrial cyber-physical system products interleave hardware, software, and communication components. System complexity is increasing simultaneously with increased demands on quality and shortened time-to-market. To effectively support the development of such systems, we present languages and tools for comprehensive integrated model-based development that cover major phases such as requirement analysis, design, implementation, and maintenance. The model-based approach raises the level of abstraction and allows to perform virtual prototyping by simulating and optimizing system models before building physical products. Moreover, open standards and open source implementations enable model portability, tool reuse and a broader deployment. In this paper we present a general overview of the available solutions with focus on Modelica/OpenModelica, Bloqqi, and Acumen. The paper presents contributions to these languages and environments, including symbolic-numeric modeling, requirement verification, code generation, model debugging, design optimization, graphical modeling, and variant handling with traceability, as well a general discussion and conclusions.
6.	Fors, Kikki, et al. (författare) Arbetsmiljö och säkerhet vid surgörning av flytgödsel : Rapport från WP2, Aktivitet 5 2018 Rapport (övrigt vetenskapligt/konstnärligt)abstract Stallgödsel från animalieproduktion är en källa för kvävetillförseln till Östersjön i form av utsläpp till vatten och atmosfäriskt nedfall. Ammoniakavgång kommer från gödseln vid hantering i stallar, vid lagring och spridning. Jordbruket står för största delen av ammoniakutsläppen och åtgärder för att minska ammoniak-avgången från jordbruket har därför stor effekt på de totala utsläppsmängderna. Att minska kväveläckaget från jordbruket är en viktig del i att minska övergöd-ningen av Östersjön. Minskade kväveförluster från stallgödseln ger även ökad växtnäring till de odlade grödorna och en effektivare recirkulation av kvävet. Ökat växtnäringsvärde hos stallgödseln leder till bättre utvecklade grödor, som förmår att ta upp mer av miljöbelastande fosfor jämfört med sämre utvecklade grödor. Att minska kväveförlusterna genom att förbättra hanteringen av stall-gödseln ger därmed många vinster för miljön och odlaren.Surgörning av flytgödsel är en känd metod för att minska ammoniakavgången från stallgödsel i stall, i lager och vid och efter spridning i fält (Petersen, 2012). Metoden praktiseras dock inte i Sverige, till stor del för att tekniken inte är till-gänglig och för att det i stort saknas erfarenheter. Teknik för surgörning finns nu utvecklad i Danmark, där 18 % av all flytgödsel försurades år 2014 (SEGES, 2015). Vid surgörningen minskas förlusterna av kväve genom att den kemiska jämvikten mellan ammonium och ammoniak förskjuts mot större andel ammoniumkväve, som inte kan avgå i gasform.Teknik finns för surgörning i stallar, i lager respektive vid spridning. I stallar och lager strävar man efter att pH-värdet i gödseln ska vara mindre än 5,5 för att få effekt under längre tid dvs. under efterföljande lagring och spridning. I test enligt VERA:s testprotokoll minskade ammoniakavgången i medeltal med 64 % från de två studerade svinstallarna när man surgjorde gödseln i stallet med tekniken från JH Forsuring NH4+ jämfört med ingen surgörning (ETA-Danmark, 2011). I ett av de två studerade stallarna kunde man påvisa en årlig luktminskning med 29 procent vid surgörning. För Sverige är det dock inte aktuellt med surgörning i stallar med nuvarande system och lagstiftning. Istället kan system för tillförsel av syra i lager vara aktuellt. Vid tillförsel i lager strax innan spridning eftersträvas pH<6. För att begränsa mängden syra som behöver tillsättas är det då viktigt att snarast möjligt påbörja spridningen efter att svavelsyran blandats med gödseln i lagret, med tanke på gödselns buffrande förmåga (pH stiger). För att surgöra flytgödseln under spridning doseras svavelsyran till gödseln automatiskt under körning i fält med på marknaden olika tekniker. Målet är då att gödseln håller pH <6,4 vid spridningstillfället för att det ska vara godkänt i Danmark som ammoniakbegränsande åtgärd, och ett alternativ till att mylla ner gödseln vid spridning. Enligt VERA:s testprotokoll så minskade ammoniakavgången med 49 % vid surgörning till pH 6,4 vid spridning med tekniken SyreN jämfört med ingen försurning (VERA, 2012). Det gick inte att påvisa någon luktminskning med surgörning.
7.	Fors, Niklas, et al. (författare) A JastAdd implementation of Oberon-0 2015 Ingår i: Science of Computer Programming. - : Elsevier BV. - 0167-6423. ; 114, s. 74-84 Tidskriftsartikel (refereegranskat)abstract As a part of the LDTA 2011 Tool Challenge, we implemented a compiler for the language Oberon-0 using the metacompilation tool JastAdd. In this paper, we report on this implementation, and reflect on aspects of it such as ease of use, modularity, and safety.
8.	Fors, Niklas, et al. (författare) A Safe Regression Test Selection Technique for Modelica 2018 Ingår i: Proceedings of the American Modelica Conference. Konferensbidrag (refereegranskat)abstract Running regression tests for Modelica models usually takes a long time. This paper presents a safe regression test selection technique for Modelica based on static analysis. The technique tracks dependencies between classes to compute which tests that need to be run given a change. The dependency rules have been verified using mutation testing. The technique has been evaluated on the Modelica Standard Library and another library with promising results.
9.	Fors, Niklas, et al. (författare) Bloqqi: Modular Feature-Based Block Diagram Programming 2016 Ingår i: International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). - New York, NY, USA : ACM. - 9781450340762 ; , s. 57-73 Konferensbidrag (refereegranskat)abstract Automation programming is typically done using blocks and dataflow connections, in diagram languages that support user-defined block types. Often, these types are intended to be instantiated and connected to other blocks in common patterns, corresponding to anticipated variability. We present the new language mechanisms of wirings and recommendations that allow these intentions to be encoded as features in libraries. A wiring describes how a given block is typically connected to other blocks, and a recommendation describes where such a wiring is typically applied as a feature. This allows feature-based wizards to be generated for user-defined libraries, making it easy to construct applications that make use of the encoded patterns.
10.	Fors, Niklas, et al. (författare) Feature-Oriented Control Programming 2020 Ingår i: 25th IEEE International Conference on Emerging Technologies and Factory Automation. - 9781728189567 - 9781728189574 ; , s. 1043-1046 Konferensbidrag (refereegranskat)abstract Managing variability in control programs often requires code duplication or that all variants are anticipated in advance. In this paper, we present a new approach to obtaining modular functionality reuse across variants. Using the language mechanisms diagram inheritance and connection interception, a feature model and an interactive feature-selection wizard can be automatically derived from the control program.
11.	Fors, Niklas, et al. (författare) Generating FMUs for the Feature-Based Language Bloqqi 2018 Ingår i: Proceedings of the 2nd Japanese Modelica Conference. - : Linköping University Electronic Press. - 1650-3686. - 9789176852668 ; , s. 245-254 Konferensbidrag (refereegranskat)abstract In this paper, we describe how we generate Functional Mock-up Units (FMUs) for the automation block language Bloqqi. This allows Bloqqi control programs to be tested with simulations of the physical processes they control. The physical process can be specified in any tool that supports the Functional Mockup-Interface (FMI) standard. For example, we have successfully run Bloqqi programs together with Modelica models exported as FMUs. Bloqqi programs execute at discrete times, and we describe how this is handled in the implementation of the DoStep function, specified in the standard.
12.	Fors, Niklas, et al. (författare) Handling of layout-sensitive semantics in a visual control language 2012 Ingår i: Visual Languages and Human-Centric Computing (VL/HCC). ; , s. 249-250 Konferensbidrag (refereegranskat)abstract We have implemented a prototype editor for a visual language where the semantics depends on layout. A high-level abstract syntax is defined, where these semantics can be captured without the need for storing concrete graphical coordinates. The model implementation is done in JastAdd, a metacompilation tool based on reference attribute grammars. This gives a modular architecture where the core compiler model can be reused for both the interactive editor and the batch compiler.
13.	Fors, Niklas, et al. (författare) Implementing Semantic Feedback in a Diagram Editor 2013 Ingår i: Graphical Modeling Language Development. - New York, NY, USA : ACM. - 9781450320443 ; , s. 42-50 Konferensbidrag (refereegranskat)abstract In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. Furthermore, the declarative approach makes it easy to keep the program model and view consistent during editing. The approach is illustrated using a function block diagram language, with visual feedback on, for example, type checking and cyclic data flow.
14.	Fors, Niklas, et al. (författare) Intercepting Dataflow Connections in Diagrams with Inheritance 2014 Ingår i: Symposium on Visual Languages and Human-Centric Computing (VL/HCC). - 1943-6092. ; , s. 21-24 Konferensbidrag (refereegranskat)abstract Control systems are often built using visual dataflow-based languages, and supporting different variants may be challenging. We introduce the concept of connection interception based on inheritance. This mechanism allows a diagram to extend another diagram and intercept connections defined in the supertype, that is, to replace it by two other connections, in order to specialize the behavior. This can be used to create extensible libraries that support different variants.
15.	Fors, Niklas, et al. (författare) JavaRAG: A Java Library for Reference Attribute Grammars 2015 Ingår i: Proceedings of the International Conference on Modularity. - New York, NY, USA : ACM. - 9781450332491 ; , s. 55-67 Konferensbidrag (refereegranskat)abstract Reference attribute grammars (RAGs) is a powerful formalism for developing modular extensible compilers and program analysis tools. This paper presents JavaRAG, an implementation of RAGs as a Java library that is independent of the abstract syntax tree structure. This makes it possible to extend legacy compilers implemented in Java with RAG computations. We have evaluated the approach by integrating with EMF, ANTLR, and hand-built abstract syntax trees, and we compare performance and specification size with JastAdd and Kiama which are other RAG-based tools. Our JavaRAG library is open source and is used in a compiler for the dataflow language CAL.
16.	Fors, Niklas, et al. (författare) Principles and Patterns of JastAdd-Style Reference Attribute Grammars 2020 Ingår i: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020). - New York, NY, USA : ACM. - 9781450381765 ; , s. 86-100 Konferensbidrag (refereegranskat)abstract Reference attribute grammars (RAGs) have reached a level of maturity where they are supported by several tools, and have gained traction in both academic and industrial language tool development. However, despite a lot of accumulated knowledge of how to best develop RAGs in practice, there is limited support to guide practitioners.In this paper, we address this issue by focusing on one RAG tool, JastAdd, and by defining principles and patterns for development of RAGs with this tool. We evaluate the proposed principles and patterns with an exploratory empirical study with 14 practitioners, with a mix of beginners and experienced users from both academia and industry. The results indicate that the principles and patterns capture the practice of developing JastAdd RAGs well, help practitioners to become aware of useful patterns, and provide a common language to more efficiently reason about the practice of developing JastAdd RAGs.
17.	Fors, Niklas, et al. (författare) Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars 2013 Ingår i: Graph Transformation and Visual Modeling Techniques. - 1863-2122. ; 58 Konferensbidrag (refereegranskat)abstract The semantic formalism reference attribute grammars (RAGs) allows graphs to be superimposed on abstract syntax trees. This paper investigates how RAGs can be used to model visual languages, with a case study of a control language that also has a textual syntax. The language contains blocks on which a total execution order is defined based on connections and layout information. One strength of RAGs is reusability, and we demonstrate this by reusing the definition of the execution order in the visual editor to provide semantic feedback to the user.
18.	Fors, Niklas (författare) Supporting Visual Editors using Reference Attributed Grammars 2012 Ingår i: CEUR Workshop Proceedings. - 1613-0073. ; 935, s. 15-21 Konferensbidrag (refereegranskat)abstract Reference attributed grammars (RAGs) extend Knuth’s attribute grammars with references. These references can be used to extend the abstract syntax tree to a graph. We investigate how RAGs can be used for implementing tools for visual languages. Programs in those languages can often be expressed as graphs.
19.	Fors, Niklas (författare) The Design and Implementation of Bloqqi - A Feature-Based Diagram Programming Language 2016 Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract This dissertation presents the design and implementation of a new block diagram programming language, Bloqqi, for building control systems with focus on variability. The language has been developed in collaboration with industry with the goal of reducing engineering time and improving reuse of functionality.When building a control system for a plant, there are typically different variants of the same base functionality. A plant may have several variants of a tank, for example, one variant with heating and another one without. This dissertation presents novel language mechanisms for describing this kind of variability, based on diagram inheritance. For instance, Bloqqi supports specifying what features, like heating, the base functionality can have. These specifications are then used to automatically derive smart-editing support in the form of a feature-based wizard. In this wizard, the user can select what features the base functionality should have, and code is generated corresponding to these features. The new language mechanisms allow feature-based libraries to be created and extended in a modular way.This dissertation presents techniques for implementing rich graphical editors with smart editing support based on semantic analysis. A prototype compiler and graphical editor have been implemented for the language, using the semantic formalism reference attribute grammars (RAGs). RAGs allow tools to share the semantic specifications, which makes it possible to modularly extend the compiler with support for advanced semantic feedback to the user of the graphical editor.
20.	Fors, Niklas, et al. (författare) Using Refactoring Techniques for Visual Editing of Hybrid Languages 2013 Ingår i: Workshop on Refactoring Tools. - New York, NY, USA : ACM. - 9781450326049 ; , s. 17-20 Konferensbidrag (refereegranskat)abstract In this paper we describe how techniques for refactoring can be used for visual editing of hybrid languages, that is, languages that have both a visual and a textual syntax. Textual languages have name rules that define how name uses are bound to name declarations. These bindings often correspond to connections in the visual language, and need to be taken into account in order to implement the visual edit operations correctly. We use inverse lookup functions, originally devised for renaming, for implementing visual editing operations for hybrid languages.
21.	Fors, Niklas, et al. (författare) Visual instance inlining and specialization - Building domain-specific diagrams from reusable types 2016 Ingår i: ACM International Conference Proceeding Series. - New York, NY, USA : ACM. - 9781450340519 ; 12-March-2016 Konferensbidrag (refereegranskat)abstract Block diagram languages are often used for physical modeling and automation, where end users are domain engineers that instantiate block types and wire them together. Abstraction mechanisms in these languages allow specialists to build advanced reusable domain-specific libraries. However, this brings a tension between supporting reusability and making the language simple to comprehend for domain engineers. We propose a technique for relieving this tension by supporting visual instance inlining and smart editing mechanisms based on instance specialization. The new technique allows end users to visually edit and comprehend diagrams in terms of domain blocks only, while the underlying program makes use of reusable library types.
22.	Mey, Johannes, et al. (författare) Continuous Model Validation using Reference Attribute Grammars 2018 Ingår i: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18). - New York, NY, USA : ACM. - 9781450360296 ; , s. 70-82 Konferensbidrag (refereegranskat)abstract Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dynamic dependency tracking. However, not all features used in conceptual modelling are directly available in RAGs. In particular, support for non-containment model relations is only available through manual implementation. We present an approach to directly model uni- and bidirectional non-containment relations in RAGs and provide efficient means for navigating and editing them. This approach is evaluated using a scalable benchmark for incremental model editing and the JastAdd RAG system. Our work demonstrates the suitability of RAGs for validating complex and continuously changing models of current software systems.
23.	Mey, Johannes, et al. (författare) Relational reference attribute grammars: Improving continuous model validation 2020 Ingår i: Journal of Computer Languages. - : Elsevier BV. - 2590-1184. ; 57 Tidskriftsartikel (refereegranskat)abstract Just like current software systems, conceptual models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated, validated and serialized. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform incremental analysis efficiently using dynamic dependency tracking. However, not all features used in conceptual modelling are directly available in RAGs. In particular, support for noncontainment model relations is only available through encodings. We present an approach called Relational RAGs to directly model uni- and bidirectional noncontainment relations in RAGs and provide efficient means for navigating and editing them. Furthermore, we discuss the efficient and inter-operable serialization and deserialization of such model instances. This approach is evaluated using a scalable benchmark for incremental model editing and the JastAdd RAG system. Our work demonstrates the suitability of RAGs for validating complex and continuously changing models of current software systems.
24.	Riouak, Idriss, et al. (författare) A Precise Framework for Source-Level Control-Flow Analysis 2021 Ingår i: Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021. - 9781665448970 - 9781665448987 ; , s. 1-11 Konferensbidrag (refereegranskat)abstract This paper presents INTRACFG, a declarative and language-independent framework for constructing precise intraprocedural control-flow graphs (CFGs) based on the reference attribute grammar system JastAdd. Unlike most other frameworks, which build CFGs on an Intermediate Representation level, e.g., bytecode, our approach superimposes the CFGs on the Abstract Syntax Tree, enabling accurate client analysis. Moreover, INTRACFG overcomes expressivity limitations of an earlier RAG-based framework, allowing the construction of AST-Unrestricted CFGs: CFGs whose shape is not confined to the AST structure. We evaluate the expressivity of INTRACFG with INTRAJ, an application of INTRACFG to Java 7, by comparing two data flow analyses built on top of INTRAJ against tools from academia and from the industry. The results demonstrate that INTRAJ is effective at building precise and efficient CFGs and enables analyses with competitive performance.
25.	Riouak, Idriss, et al. (författare) JFeature : Know Your Corpus 2022 Ingår i: Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022. - 9781665496094 ; , s. 236-241 Konferensbidrag (refereegranskat)abstract Software corpora are crucial for evaluating research artifacts and ensuring repeatability of outcomes. Corpora such as DaCapo and Defects4J provide a collection of real-world open-source projects for evaluating the robustness and performance of software tools like static analysers. However, what do we know about these corpora? What do we know about their composition? Are they really suited for our particular problem? We developed JFEATURE, an extensible static analysis tool that extracts syntactic and semantic features from Java programs, to assist developers in answering these questions. We demonstrate the potential of JFEATURE by applying it to four widely-used corpora in the program analysis area, and we suggest other applications, including longitudinal studies of individual Java projects and the creation of new corpora.
26.	Risberg Alaküla, Anton, et al. (författare) Property probes : Live exploration of program analysis results 2024 Ingår i: Journal of Systems and Software. - 0164-1212. ; 211 Tidskriftsartikel (refereegranskat)abstract We present property probes, a mechanism for helping a developer explore partial program analysis results in terms of the source program interactively while the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have developed a client–server based tool CODEPROBER supporting property probes, and argue that it is very helpful in debugging and understanding program analyses. We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis. Our performance results show that the probe overhead is negligible even when analyzing large projects.
27.	Risberg Alaküla, Anton, et al. (författare) Property Probes : Source Code Based Exploration of Program Analysis Results 2022 Ingår i: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022. SLE 2022.. - New York, NY, USA : ACM. - 9781450399197 ; , s. 148-160 Konferensbidrag (refereegranskat)abstract We present property probes, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have developed a client-server based tool supporting property probes, and argue that it is very helpful in debugging and understanding program analyses. We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis. Our performance results show that the probe overhead is negligible even when analyzing large projects.
28.	Åkesson, Alfred, et al. (författare) ComPOS: A DSL for Composing IoT Systems with Weak Connectivity 2023 Ingår i: REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with : SPLASH 2023 - SPLASH 2023. - 9798400704000 ; , s. 31-42 Konferensbidrag (refereegranskat)abstract Future Internet-of-Things (IoT) systems need to combine heterogeneous IoT components and support weak connectivity. This paper introduces ComPOS, a domain-specific language for composing IoT services into systems. ComPOS is a small language but supports powerful message mediation, using stateful reactions with nested and parallel message sequences and anonymous futures. To deal with weak connectivity, we introduce the notion of abort semantics, i.e., aborting old reactions when a newer message arrives. Alternatives to the abort semantics can be obtained by adding strategy services. We evaluated our approach by implementing seven home automation scenarios.
29.	Åkesson, Alfred, et al. (författare) Runtime Modeling and Analysis of IoT Systems 2020 Ingår i: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. - New York, NY, USA : ACM. - 9781450381352 ; , s. 1-5 Konferensbidrag (refereegranskat)abstract Internet-of-things systems are difficult to understand and debug due to their distributed nature and weak connectivity. We address this problem by using relational reference attribute grammars to model and analyze IoT systems with unreachable parts. A transitive device-dependency analysis is given as an example.

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Träfflista för sökning "WFRF:(Fors Niklas) "

Avgränsa träffmängd

År